Test Result : PreCondNoStateTests

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

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed