Test Result : PreCondWithStateTests

0 failures (±0)

8 tests (±0)

All Tests

Test name	Duration	Status
testFuncRequiresAnnotation	0 ms	Passed
Package core / testFuncRequiresAnnotation	0 ms	Passed
testOpRequiresAnnotation	1 ms	Passed
Package core / testOpRequiresAnnotation	1 ms	Passed
Package core / testPreCondOfFuncIsPure	0 ms	Passed
testPreCondOfFuncIsPure	0 ms	Passed
testPreCondOfOpIsPure	0 ms	Passed
Package core / testPreCondOfOpIsPure	0 ms	Passed