Test Result : PostCondWithStateTests

0 failures (±0)
20 tests (±0)
Took 6 ms.

All Tests

Test nameDurationStatus
testFuncEnsuresAnnotation0 msPassed
testFuncEnsuresAnnotation1 msPassed
testFuncEnsuresAnnotation1 msPassed
testFuncEnsuresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
testPostCondOfFuncIsPure0 msPassed
testPostCondOfFuncIsPure0 msPassed
testPostCondOfFuncIsPure0 msPassed
testPostCondOfFuncIsPure0 msPassed
testPostCondOfOpNoResIsPure1 msPassed
testPostCondOfOpNoResIsPure1 msPassed
testPostCondOfOpNoResIsPure1 msPassed
testPostCondOfOpNoResIsPure1 msPassed