Test Result : StateTests

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

All Tests

Test nameDurationStatus
testGenStateTypeMethodsArePure1 msPassed
Package core / testGenStateTypeMethodsArePure1 msPassed
testInv0 msPassed
Package core / testInv0 msPassed
testModuleHasNoInvFunction0 msPassed
Package core / testModuleHasNoInvFunction0 msPassed
testModuleStateIsSpecPublic0 msPassed
Package core / testModuleStateIsSpecPublic0 msPassed