[Jenkins]Jenkins

Test Result : TracesVerdictOutputTest

0 failures (±0)
24 tests (±0)
Took 0.76 sec.

All Tests

Test nameDurationStatus
testCase[0 : LetBeStNoBinding.vdmpp]60 msPassed
testCase[0 : LetBeStNoBinding.vdmpp]60 msPassed
testCase[0 : LetBeStNoBinding.vdmpp]30 msPassed
testCase[0 : LetBeStNoBinding.vdmpp]30 msPassed
testCase[1 : DivByZero.vdmpp]49 msPassed
testCase[1 : DivByZero.vdmpp]23 msPassed
testCase[1 : DivByZero.vdmpp]23 msPassed
testCase[1 : DivByZero.vdmpp]49 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]20 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]20 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]34 msPassed
testCase[2 : SeqIndexOutOfRange.vdmpp]34 msPassed
testCase[3 : UnionTypeFailure.vdmpp]25 msPassed
testCase[3 : UnionTypeFailure.vdmpp]38 msPassed
testCase[3 : UnionTypeFailure.vdmpp]38 msPassed
testCase[3 : UnionTypeFailure.vdmpp]25 msPassed
testCase[4 : MapNoSuchKey.vdmpp]21 msPassed
testCase[4 : MapNoSuchKey.vdmpp]28 msPassed
testCase[4 : MapNoSuchKey.vdmpp]28 msPassed
testCase[4 : MapNoSuchKey.vdmpp]21 msPassed
testCase[5 : SameTestTwice.vdmpp]24 msPassed
testCase[5 : SameTestTwice.vdmpp]24 msPassed
testCase[5 : SameTestTwice.vdmpp]31 msPassed
testCase[5 : SameTestTwice.vdmpp]31 msPassed