Test Result : PostCondWithStateTests

0 failures (±0)
5 tests (±0)
Took 4 ms.

All Tests

Test nameDurationStatus
testFuncEnsuresAnnotation0 msPassed
testOpNoResRequiresAnnotation2 msPassed
testOpResRequresAnnotation0 msPassed
testPostCondOfFuncIsPure2 msPassed
testPostCondOfOpNoResIsPure0 msPassed