|
|
|
|
|
|
by epdlxjmonad
2256 days ago
|
|
|
Yes, closely related, but invariants can appear anywhere in the code (like loop invariants), and are less restrictive than pre-conditions and post-conditions which must appear in the beginning and end of methods. So, invariants are more about testing than design. Arguably, invariants are especially powerful in testing distributed systems: 0 - https://www.datamonad.com/post/2020-02-19-testing-mr3/ |
|
|