Test Result : PreCondNoStateTests

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

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation1 msPassed
testPreCondOfFuncIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed