Test Result : ClassesPpClassicTest

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

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]3.9 secPassed
testCase[1 : MSAWseqPP]0.51 secPassed
testCase[2 : KLVPP]0.18 secPassed
testCase[3 : AlarmPP]59 msPassed
testCase[4 : CashDispenserPP]0.16 secPassed
testCase[5 : SAFERPP]0.79 secPassed
testCase[6 : trayallocationPP]0.12 secPassed