Test Result : ClassesPpTest

0 failures (±0)
36 tests (±0)
Took 0.97 sec.

All Tests

Test nameDurationStatus
testCase[0 : VFSPP]38 msPassed
Package core / testCase[0 : VFSPP]38 msPassed
testCase[1 : memoryproofPP]15 msPassed
Package core / testCase[1 : memoryproofPP]15 msPassed
testCase[10 : Typeparams.vdmpp]4 msPassed
Package core / testCase[10 : Typeparams.vdmpp]4 msPassed
testCase[11 : buffersPP]12 msPassed
Package core / testCase[11 : buffersPP]12 msPassed
testCase[12 : InMapPP]5 msPassed
Package core / testCase[12 : InMapPP]5 msPassed
testCase[13 : diet2japanPP]12 msPassed
Package core / testCase[13 : diet2japanPP]12 msPassed
testCase[14 : PacemakerSimplePP]9 msPassed
Package core / testCase[14 : PacemakerSimplePP]9 msPassed
testCase[15 : stackPP]25 msPassed
Package core / testCase[15 : stackPP]25 msPassed
testCase[16 : SetRange.vdmpp]5 msPassed
Package core / testCase[16 : SetRange.vdmpp]5 msPassed
testCase[17 : MondexPP]8 msPassed
Package core / testCase[17 : MondexPP]8 msPassed
testCase[2 : InferencePP]3 msPassed
Package core / testCase[2 : InferencePP]3 msPassed
Package core / testCase[3 : NarrowPP]8 msPassed
testCase[3 : NarrowPP]8 msPassed
Package core / testCase[4 : AlarmproofPP]10 msPassed
testCase[4 : AlarmproofPP]10 msPassed
Package core / testCase[5 : DiningPP]28 msPassed
testCase[5 : DiningPP]28 msPassed
Package core / testCase[6 : ReaderWriterPP]28 msPassed
testCase[6 : ReaderWriterPP]28 msPassed
testCase[7 : concfactorialPP]0.2 secPassed
Package core / testCase[7 : concfactorialPP]0.2 secPassed
Package core / testCase[8 : MapPattern.vdmpp]10 msPassed
testCase[8 : MapPattern.vdmpp]10 msPassed
testCase[9 : HomeautomationSeqPP]66 msPassed
Package core / testCase[9 : HomeautomationSeqPP]66 msPassed