![[Jenkins]](/jenkins/static/4ffc0891/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : org.overturetool.cgisa
0 failures
(±0)
, 6 skipped
(-6)
146 tests
(-146)
All Tests
| Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
| IsaGenFileExpTest | 2.1 sec | 0 | 0 | 48 | -48 | 48 | -48 | ||
| IsaGenModelTest | 0 ms | 0 | 2 | -2 | 0 | 2 | -2 | ||
| IsaGenParamTest | 1 sec | 0 | 4 | -4 | 92 | -92 | 96 | -96 |