Test Result : PurityTests

0 failures (±0)

4 tests (±0)

All Tests

Test name	Duration	Status
operationsNotAnnotated	0 ms	Passed
testGenModuleFuncsArePure	0 ms	Passed
testNoModuleStateAnnotations	0 ms	Passed
testNoStateInvInGenModule	0 ms	Passed