Test Result : JmlSlTraceOutputTest

0 failures (±0)

3 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : SingleCallWithTypeError.vdmsl]	77 ms	Passed
testCase[1 : IntBoolTypeErrors.vdmsl]	25 ms	Passed
testCase[2 : TypeErrorsInFirstAndSecondFrame.vdmsl]	24 ms	Passed