Test Result : StateTests

0 failures (±0)
8 tests (-8)
Took 2 ms.

All Tests

Test nameDurationStatus
testGenStateTypeMethodsArePure0 msPassed
Package core / testGenStateTypeMethodsArePure0 msPassed
Package core / testInv0 msPassed
testInv0 msPassed
testModuleHasNoInvFunction0 msPassed
Package core / testModuleHasNoInvFunction0 msPassed
Package core / testModuleStateIsSpecPublic1 msPassed
testModuleStateIsSpecPublic1 msPassed