Test Result : JmlSlTraceOutputTest

0 failures (±0)
6 tests (±0)
Took 0.32 sec.

All Tests

Test nameDurationStatus
testCase[0 : SingleCallWithTypeError.vdmsl]97 msPassed
Package core / testCase[0 : SingleCallWithTypeError.vdmsl]97 msPassed
testCase[1 : IntBoolTypeErrors.vdmsl]31 msPassed
Package core / testCase[1 : IntBoolTypeErrors.vdmsl]31 msPassed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]34 msPassed
Package core / testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]34 msPassed