Test Result : PreCondWithStateTests

0 failures
4 tests
Took 0 ms.

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed