Test Result : PurityTests

0 failures
4 tests
Took 0 ms.

All Tests

Test nameDurationStatus
operationsNotAnnotated0 msPassed
testGenModuleFuncsArePure0 msPassed
testNoModuleStateAnnotations0 msPassed
testNoStateInvInGenModule0 msPassed