![[Jenkins]](/jenkins/static/785b2ad7/images/jenkins-header-logo-v2.svg){kind=logo}
Test Result : JmlSlTraceJavaGenTest
0 failures
(±0)
, 6 skipped
(-6)
6 tests
(-6)
All Tests
| Test name | Duration | Status |
| test[IntBoolTypeErrors.vdmsl] | 0 ms | Skipped |
| Package core / test[IntBoolTypeErrors.vdmsl] | 0 ms | Skipped |
| test[SingleCallWithTypeError.vdmsl] | 0 ms | Skipped |
| Package core / test[SingleCallWithTypeError.vdmsl] | 0 ms | Skipped |
| Package core / test[TypeErrorsInFirstAndSecondFrame.vdmsl] | 0 ms | Skipped |
| test[TypeErrorsInFirstAndSecondFrame.vdmsl] | 0 ms | Skipped |