Test Result : JmlSlTraceOutputTest

0 failures (±0)
12 tests (±0)
Took 0.55 sec.

All Tests

Test nameDurationStatus
testCase[0 : SingleCallWithTypeError.vdmsl]0.1 secPassed
testCase[0 : SingleCallWithTypeError.vdmsl]79 msPassed
testCase[0 : SingleCallWithTypeError.vdmsl]79 msPassed
testCase[0 : SingleCallWithTypeError.vdmsl]0.1 secPassed
testCase[1 : IntBoolTypeErrors.vdmsl]22 msPassed
testCase[1 : IntBoolTypeErrors.vdmsl]24 msPassed
testCase[1 : IntBoolTypeErrors.vdmsl]22 msPassed
testCase[1 : IntBoolTypeErrors.vdmsl]24 msPassed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]20 msPassed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]20 msPassed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]25 msPassed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]25 msPassed