Test Result : StateTests

0 failures (±0)
4 tests (±0)
Took 17 ms.

All Tests

Test nameDurationStatus
testGenStateTypeMethodsArePure0 msPassed
testInv17 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleStateIsSpecPublic0 msPassed