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 |