Test Result : PostCondWithStateTests

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

All Tests

Test nameDurationStatus
testFuncEnsuresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
testPostCondOfFuncIsPure0 msPassed
testPostCondOfOpNoResIsPure0 msPassed