Test Result : PostCondWithStateTests
0 failures
(±0)
5 tests
(±0)
All Tests
Test name | Duration | Status |
testFuncEnsuresAnnotation | 0 ms | Passed |
testOpNoResRequiresAnnotation | 0 ms | Passed |
testOpResRequresAnnotation | 0 ms | Passed |
testPostCondOfFuncIsPure | 1 ms | Passed |
testPostCondOfOpNoResIsPure | 0 ms | Passed |