Test Result : StateTests

0 failures
4 tests
Took 0 ms.

All Tests

Test nameDurationStatus
testGenStateTypeMethodsArePure0 msPassed
testInv0 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleStateIsSpecPublic0 msPassed