Open wasowski opened 6 years ago
Invariants: are checked at every assertion statement, and at the end of every file.
Thus Invariants need to be processed in the original sorting order.
So far we don't expect expiring invariants (but refactoring might become a problem).
Invariants: are checked at every assertion statement, and at the end of every file.
Thus Invariants need to be processed in the original sorting order.
So far we don't expect expiring invariants (but refactoring might become a problem).