Test Result : ClassesPpClassicTest

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

All Tests

Test nameDurationStatus
testCase[0 : SAFERProofPP]3 secPassed
testCase[1 : MSAWseqPP]0.28 secPassed
testCase[2 : KLVPP]54 msPassed
testCase[3 : AlarmPP]46 msPassed
testCase[4 : CashDispenserPP]79 msPassed
testCase[5 : SAFERPP]0.62 secPassed
testCase[6 : trayallocationPP]86 msPassed