Test Result : org.overture.codegen.tests.exec
0 failures
, 2,760 skipped
2,760 tests
All Tests
Class | Duration | Fail | (diff) | Skip | (diff) | Pass | (diff) | Total | (diff) |
BindJavaGenTest | 0 ms | 0 | 44 | +44 | 0 | 44 | +44 | ||
ClassicJavaGenTest | 0 ms | 0 | 8 | +8 | 0 | 8 | +8 | ||
ComplexExpJavaGenTest | 0 ms | 0 | 696 | +696 | 0 | 696 | +696 | ||
ConcurrencyClassicJavaGenTest | 0 ms | 0 | 4 | +4 | 0 | 4 | +4 | ||
ConcurrencyJavaGenTest | 0 ms | 0 | 68 | +68 | 0 | 68 | +68 | ||
ConfiguredCloningJavaGenTest | 0 ms | 0 | 12 | +12 | 0 | 12 | +12 | ||
ConfiguredStringJavaGenTest | 0 ms | 0 | 116 | +116 | 0 | 116 | +116 | ||
ExpJavaGenTest | 0 ms | 0 | 504 | +504 | 0 | 504 | +504 | ||
FunctionValueJavaGenTest | 0 ms | 0 | 72 | +72 | 0 | 72 | +72 | ||
IsExpJavaGenTest | 0 ms | 0 | 84 | +84 | 0 | 84 | +84 | ||
PackageJavaGenTest | 0 ms | 0 | 20 | +20 | 0 | 20 | +20 | ||
PatternJavaGenTest | 0 ms | 0 | 272 | +272 | 0 | 272 | +272 | ||
PrePostJavaGenTest | 0 ms | 0 | 40 | +40 | 0 | 40 | +40 | ||
RtJavaGenTest | 0 ms | 0 | 12 | +12 | 0 | 12 | +12 | ||
SlJavaGenTest | 0 ms | 0 | 88 | +88 | 0 | 88 | +88 | ||
SpecificationJavaGenTest | 0 ms | 0 | 324 | +324 | 0 | 324 | +324 | ||
TracesExpansionJavaGenTest | 0 ms | 0 | 88 | +88 | 0 | 88 | +88 | ||
TracesSlJavaGenTest | 0 ms | 0 | 48 | +48 | 0 | 48 | +48 | ||
TracesStateJavaGenTest | 0 ms | 0 | 32 | +32 | 0 | 32 | +32 | ||
TracesVerdictJavaGenTest | 0 ms | 0 | 24 | +24 | 0 | 24 | +24 | ||
UnionTypeJavaGenTest | 0 ms | 0 | 204 | +204 | 0 | 204 | +204 |