Test Result : ClassesPpClassicTest

0 failures (±0)
7 tests (±0)
Took 4.1 sec.

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]2.6 secPassed
testCase[1 : MSAWseqPP]0.32 secPassed
testCase[2 : KLVPP]68 msPassed
testCase[3 : AlarmPP]43 msPassed
testCase[4 : CashDispenserPP]0.1 secPassed
testCase[5 : SAFERPP]0.86 secPassed
testCase[6 : trayallocationPP]0.1 secPassed