Test Result : PreCondNoStateTests

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

All Tests

Test nameDurationStatus
testFuncRequiresAnnotation0 msPassed
Package core / testFuncRequiresAnnotation0 msPassed
testOpRequiresAnnotation0 msPassed
Package core / testOpRequiresAnnotation0 msPassed
Package core / testPreCondOfFuncIsPure0 msPassed
testPreCondOfFuncIsPure0 msPassed
Package core / testPreCondOfOpIsPure0 msPassed
testPreCondOfOpIsPure0 msPassed