Test Result : PreCondWithStateTests

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

All Tests

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