Test Result : PreCondNoStateTests

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

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed