Test Result : JmlSlTraceJavaGenTest

0 failures (±0) , 6 skipped (-6)
6 tests (-6)
Took 0 ms.

All Tests

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