![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : IsaGenModelTest
0 failures
(±0)
, 4 skipped
(±0)
4 tests
(±0)
All Tests
| Test name | Duration | Status |
| org.overturetool.cgisa.IsaGenModelTest | 0 ms | Skipped |
| org.overturetool.cgisa.IsaGenModelTest | 0 ms | Skipped |
| org.overturetool.cgisa.IsaGenModelTest | 0 ms | Skipped |
| org.overturetool.cgisa.IsaGenModelTest | 0 ms | Skipped |