Test Result : PreCondWithStateTests

0 failures (±0)

4 tests (±0)

All Tests

Test name	Duration	Status
testFuncRequiresAnnotation	0 ms	Passed
testOpRequiresAnnotation	0 ms	Passed
testPreCondOfFuncIsPure	0 ms	Passed
testPreCondOfOpIsPure	0 ms	Passed