Test Result : PostCondWithStateTests

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

All Tests

Test nameDurationStatus
testFuncEnsuresAnnotation0 msPassed
Package core / testFuncEnsuresAnnotation0 msPassed
testOpNoResRequiresAnnotation0 msPassed
Package core / testOpNoResRequiresAnnotation0 msPassed
Package core / testOpResRequresAnnotation0 msPassed
testOpResRequresAnnotation0 msPassed
Package core / testPostCondOfFuncIsPure0 msPassed
testPostCondOfFuncIsPure0 msPassed
Package core / testPostCondOfOpNoResIsPure0 msPassed
testPostCondOfOpNoResIsPure0 msPassed