Test Result : PostCondWithStateTests

0 failures (±0)

10 tests (±0)

All Tests

Test name	Duration	Status
Package core / testFuncEnsuresAnnotation	0 ms	Passed
testFuncEnsuresAnnotation	0 ms	Passed
testOpNoResRequiresAnnotation	0 ms	Passed
Package core / testOpNoResRequiresAnnotation	0 ms	Passed
testOpResRequresAnnotation	0 ms	Passed
Package core / testOpResRequresAnnotation	0 ms	Passed
Package core / testPostCondOfFuncIsPure	0 ms	Passed
testPostCondOfFuncIsPure	0 ms	Passed
Package core / testPostCondOfOpNoResIsPure	0 ms	Passed
testPostCondOfOpNoResIsPure	0 ms	Passed