Test Result : JmlSlTraceJavaGenTest

0 failures (±0) , 3 skipped (±0)
3 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
test[IntBoolTypeErrors.vdmsl]0 msSkipped
test[SingleCallWithTypeError.vdmsl]0 msSkipped
test[TypeErrorsInFirstAndSecondFrame.vdmsl]0 msSkipped