Test Result : ClassesPpClassicTest

0 failures (±0)
28 tests (±0)
Took 13 sec.

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]2.5 secPassed
testCase[0 : SAFERProofPP]2.5 secPassed
testCase[0 : SAFERProofPP]1.9 secPassed
testCase[0 : SAFERProofPP]1.9 secPassed
testCase[1 : MSAWseqPP]0.35 secPassed
testCase[1 : MSAWseqPP]0.38 secPassed
testCase[1 : MSAWseqPP]0.38 secPassed
testCase[1 : MSAWseqPP]0.35 secPassed
testCase[2 : KLVPP]74 msPassed
testCase[2 : KLVPP]74 msPassed
testCase[2 : KLVPP]90 msPassed
testCase[2 : KLVPP]90 msPassed
testCase[3 : AlarmPP]58 msPassed
testCase[3 : AlarmPP]46 msPassed
testCase[3 : AlarmPP]58 msPassed
testCase[3 : AlarmPP]46 msPassed
testCase[4 : CashDispenserPP]0.13 secPassed
testCase[4 : CashDispenserPP]0.13 secPassed
testCase[4 : CashDispenserPP]0.13 secPassed
testCase[4 : CashDispenserPP]0.13 secPassed
testCase[5 : SAFERPP]0.45 secPassed
testCase[5 : SAFERPP]0.46 secPassed
testCase[5 : SAFERPP]0.46 secPassed
testCase[5 : SAFERPP]0.45 secPassed
testCase[6 : trayallocationPP]82 msPassed
testCase[6 : trayallocationPP]0.14 secPassed
testCase[6 : trayallocationPP]0.14 secPassed
testCase[6 : trayallocationPP]82 msPassed