-
Andrei Paskevich authored
In this case, we break the encapsulation and prove the global exception postcondition directly from the code under "abstract".
5762bb84
In this case, we break the encapsulation and prove the global exception postcondition directly from the code under "abstract".