Test Result : PreCondNoStateTests

0 failures (±0)

8 tests (±0)

All Tests

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