Test Result : ClassesPpClassicTest

0 failures (±0)
7 tests (-21)
Took 4.7 sec.

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]2.7 secPassed
testCase[1 : MSAWseqPP]0.61 secPassed
testCase[2 : KLVPP]0.12 secPassed
testCase[3 : AlarmPP]62 msPassed
testCase[4 : CashDispenserPP]0.24 secPassed
testCase[5 : SAFERPP]0.82 secPassed
testCase[6 : trayallocationPP]0.17 secPassed