![[Jenkins]](/jenkins/static/0123c0d1/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result
0 failures
, 383 skipped
8,372 tests
| Module | Fail | (diff) | Total | (diff) |
| org.overturetool.core:interpreter | 0 | 977 | +977 | |
| org.overturetool.core:isapog | 0 | 4 | +4 | |
| org.overturetool.core:npp | 0 | 97 | +97 | |
| org.overturetool.core:parser | 0 | 56 | +56 | |
| org.overturetool.core:pog | 0 | 195 | +195 | |
| org.overturetool.core:typechecker | 0 | 1906 | +1906 | |
| org.overturetool.core.codegen:codegen-runtime | 0 | 42 | +42 | |
| org.overturetool.core.codegen:isagen | 0 | 73 | +73 | |
| org.overturetool.core.codegen:javagen | 0 | 1479 | +1479 | |
| org.overturetool.core.codegen:platform | 0 | 17 | +17 | |
| org.overturetool.core.codegen:vdm2jml | 0 | 278 | +278 | |
| org.overturetool.core.combinatorialtesting:ctruntime | 0 | 35 | +35 | |
| org.overturetool.core.testing:samples | 0 | 3213 | +3213 |