In unchecked mode the invariant is not evaluated #39
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: