Test Result : StateTests
0 failures
(±0)
8 tests
(±0)
All Tests
Test name | Duration | Status |
testGenStateTypeMethodsArePure | 1 ms | Passed |
Package core / testGenStateTypeMethodsArePure | 1 ms | Passed |
testInv | 0 ms | Passed |
Package core / testInv | 0 ms | Passed |
Package core / testModuleHasNoInvFunction | 0 ms | Passed |
testModuleHasNoInvFunction | 0 ms | Passed |
Package core / testModuleStateIsSpecPublic | 0 ms | Passed |
testModuleStateIsSpecPublic | 0 ms | Passed |