Test Result : JmlSlTraceJavaGenTest

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

All Tests

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