Test Result : StateTests

0 failures (±0)

4 tests (±0)

All Tests

Test name	Duration	Status
testGenStateTypeMethodsArePure	0 ms	Passed
testInv	0 ms	Passed
testModuleHasNoInvFunction	0 ms	Passed
testModuleStateIsSpecPublic	0 ms	Passed