An invariant is evaluated before and after every method call on the associated class #34
Closed
3 tasks done
Labels
feature/invariant
The `invariant` declaration
requirement
An assertion or property that must be fulfilled
Milestone
The text was updated successfully, but these errors were encountered: