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