![[Jenkins]](/jenkins/static/dde5e32c/images/jenkins-header-logo-v2.svg){kind=logo}
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 |
| Package core / testInv | 0 ms | Passed |
| testInv | 0 ms | Passed |
| Package core / testModuleHasNoInvFunction | 0 ms | Passed |
| testModuleHasNoInvFunction | 0 ms | Passed |
| testModuleStateIsSpecPublic | 0 ms | Passed |
| Package core / testModuleStateIsSpecPublic | 0 ms | Passed |