Test Result : ClassesPpClassicTest

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

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]2.4 secPassed
testCase[1 : MSAWseqPP]0.44 secPassed
testCase[2 : KLVPP]65 msPassed
testCase[3 : AlarmPP]59 msPassed
testCase[4 : CashDispenserPP]0.12 secPassed
testCase[5 : SAFERPP]0.66 secPassed
testCase[6 : trayallocationPP]0.1 secPassed