Test Result : StateTests

0 failures (±0)
16 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
testGenStateTypeMethodsArePure0 msPassed
testGenStateTypeMethodsArePure0 msPassed
testGenStateTypeMethodsArePure0 msPassed
testGenStateTypeMethodsArePure0 msPassed
testInv0 msPassed
testInv0 msPassed
testInv0 msPassed
testInv0 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleHasNoInvFunction0 msPassed
testModuleStateIsSpecPublic0 msPassed
testModuleStateIsSpecPublic0 msPassed
testModuleStateIsSpecPublic0 msPassed
testModuleStateIsSpecPublic0 msPassed