Test Result : ClassesPpClassicTest

0 failures (±0)
14 tests (±0)
Took 7.9 sec.

All Tests

Test nameDurationStatus
Package core / testCase[0 : SAFERProofPP]2.8 secPassed
testCase[0 : SAFERProofPP]2.8 secPassed
Package core / testCase[1 : MSAWseqPP]0.38 secPassed
testCase[1 : MSAWseqPP]0.38 secPassed
testCase[2 : KLVPP]53 msPassed
Package core / testCase[2 : KLVPP]53 msPassed
testCase[3 : AlarmPP]49 msPassed
Package core / testCase[3 : AlarmPP]49 msPassed
Package core / testCase[4 : CashDispenserPP]83 msPassed
testCase[4 : CashDispenserPP]83 msPassed
testCase[5 : SAFERPP]0.47 secPassed
Package core / testCase[5 : SAFERPP]0.47 secPassed
testCase[6 : trayallocationPP]0.11 secPassed
Package core / testCase[6 : trayallocationPP]0.11 secPassed