Test Result : StateTests

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

All Tests

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