Test Result : PreCondWithStateTests

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

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation1 msPassed
testOpRequiresAnnotation0 msPassed
testOpRequiresAnnotation1 msPassed
testOpRequiresAnnotation0 msPassed
testPreCondOfFuncIsPure1 msPassed
testPreCondOfFuncIsPure1 msPassed
testPreCondOfFuncIsPure1 msPassed
testPreCondOfFuncIsPure1 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed