Test Result : PogIntegrationTest

0 failures (±0)
200 tests (±0)
Took 18 sec.

All Tests

Test nameDurationStatus
testCase[0 : AllThePOs.vdmsl]0.14 secPassed
testCase[0 : AllThePOs.vdmsl]0.16 secPassed
testCase[0 : AllThePOs.vdmsl]0.16 secPassed
testCase[0 : AllThePOs.vdmsl]0.14 secPassed
testCase[1 : airport.vdmsl]44 msPassed
testCase[1 : airport.vdmsl]87 msPassed
testCase[1 : airport.vdmsl]44 msPassed
testCase[1 : airport.vdmsl]87 msPassed
testCase[10 : hotelSL.vdmsl]73 msPassed
testCase[10 : hotelSL.vdmsl]73 msPassed
testCase[10 : hotelSL.vdmsl]0.12 secPassed
testCase[10 : hotelSL.vdmsl]0.12 secPassed
testCase[11 : test1.vdmsl]4 msPassed
testCase[11 : test1.vdmsl]4 msPassed
testCase[11 : test1.vdmsl]1 msPassed
testCase[11 : test1.vdmsl]1 msPassed
testCase[12 : CMSL.vdmsl]80 msPassed
testCase[12 : CMSL.vdmsl]82 msPassed
testCase[12 : CMSL.vdmsl]82 msPassed
testCase[12 : CMSL.vdmsl]80 msPassed
testCase[13 : shmemSL.vdmsl]74 msPassed
testCase[13 : shmemSL.vdmsl]76 msPassed
testCase[13 : shmemSL.vdmsl]74 msPassed
testCase[13 : shmemSL.vdmsl]76 msPassed
testCase[14 : realmSL.vdmsl]0.25 secPassed
testCase[14 : realmSL.vdmsl]0.25 secPassed
testCase[14 : realmSL.vdmsl]0.28 secPassed
testCase[14 : realmSL.vdmsl]0.28 secPassed
testCase[15 : CountryColouringSL.vdmsl]35 msPassed
testCase[15 : CountryColouringSL.vdmsl]12 msPassed
testCase[15 : CountryColouringSL.vdmsl]12 msPassed
testCase[15 : CountryColouringSL.vdmsl]35 msPassed
testCase[16 : simpleExportImport.vdmsl]11 msPassed
testCase[16 : simpleExportImport.vdmsl]11 msPassed
testCase[16 : simpleExportImport.vdmsl]11 msPassed
testCase[16 : simpleExportImport.vdmsl]11 msPassed
testCase[17 : crosswordSL.vdmsl]0.11 secPassed
testCase[17 : crosswordSL.vdmsl]0.14 secPassed
testCase[17 : crosswordSL.vdmsl]0.11 secPassed
testCase[17 : crosswordSL.vdmsl]0.14 secPassed
testCase[18 : MAASL.vdmsl]0.28 secPassed
testCase[18 : MAASL.vdmsl]0.28 secPassed
testCase[18 : MAASL.vdmsl]0.28 secPassed
testCase[18 : MAASL.vdmsl]0.28 secPassed
testCase[19 : monitorSL.vdmsl]17 msPassed
testCase[19 : monitorSL.vdmsl]17 msPassed
testCase[19 : monitorSL.vdmsl]42 msPassed
testCase[19 : monitorSL.vdmsl]42 msPassed
testCase[2 : alarm.vdmsl]18 msPassed
testCase[2 : alarm.vdmsl]34 msPassed
testCase[2 : alarm.vdmsl]18 msPassed
testCase[2 : alarm.vdmsl]34 msPassed
testCase[20 : recursiveSL.vdmsl]52 msPassed
testCase[20 : recursiveSL.vdmsl]39 msPassed
testCase[20 : recursiveSL.vdmsl]39 msPassed
testCase[20 : recursiveSL.vdmsl]52 msPassed
testCase[21 : barSL.vdmsl]0.19 secPassed
testCase[21 : barSL.vdmsl]0.19 secPassed
testCase[21 : barSL.vdmsl]51 msPassed
testCase[21 : barSL.vdmsl]51 msPassed
testCase[22 : soccerSL.vdmsl]76 msPassed
testCase[22 : soccerSL.vdmsl]67 msPassed
testCase[22 : soccerSL.vdmsl]76 msPassed
testCase[22 : soccerSL.vdmsl]67 msPassed
testCase[23 : raildirSL.vdmsl]0.23 secPassed
testCase[23 : raildirSL.vdmsl]0.15 secPassed
testCase[23 : raildirSL.vdmsl]0.15 secPassed
testCase[23 : raildirSL.vdmsl]0.23 secPassed
testCase[24 : ATCSL.vdmsl]0.37 secPassed
testCase[24 : ATCSL.vdmsl]0.56 secPassed
testCase[24 : ATCSL.vdmsl]0.56 secPassed
testCase[24 : ATCSL.vdmsl]0.37 secPassed
testCase[25 : gatewaySL.vdmsl]28 msPassed
testCase[25 : gatewaySL.vdmsl]18 msPassed
testCase[25 : gatewaySL.vdmsl]18 msPassed
testCase[25 : gatewaySL.vdmsl]28 msPassed
testCase[26 : simpleExportImportTypes.vdmsl]3 msPassed
testCase[26 : simpleExportImportTypes.vdmsl]21 msPassed
testCase[26 : simpleExportImportTypes.vdmsl]21 msPassed
testCase[26 : simpleExportImportTypes.vdmsl]3 msPassed
testCase[27 : PlannerSL.vdmsl]75 msPassed
testCase[27 : PlannerSL.vdmsl]50 msPassed
testCase[27 : PlannerSL.vdmsl]75 msPassed
testCase[27 : PlannerSL.vdmsl]50 msPassed
testCase[28 : BOMSL.vdmsl]21 msPassed
testCase[28 : BOMSL.vdmsl]25 msPassed
testCase[28 : BOMSL.vdmsl]25 msPassed
testCase[28 : BOMSL.vdmsl]21 msPassed
testCase[29 : trafficSL.vdmsl]15 msPassed
testCase[29 : trafficSL.vdmsl]20 msPassed
testCase[29 : trafficSL.vdmsl]15 msPassed
testCase[29 : trafficSL.vdmsl]20 msPassed
testCase[3 : AlarmSL.vdmsl]99 msPassed
testCase[3 : AlarmSL.vdmsl]99 msPassed
testCase[3 : AlarmSL.vdmsl]84 msPassed
testCase[3 : AlarmSL.vdmsl]84 msPassed
testCase[30 : expressSL.vdmsl]0.11 secPassed
testCase[30 : expressSL.vdmsl]0.11 secPassed
testCase[30 : expressSL.vdmsl]69 msPassed
testCase[30 : expressSL.vdmsl]69 msPassed
testCase[31 : DFDexampleSL.vdmsl]0.29 secPassed
testCase[31 : DFDexampleSL.vdmsl]0.29 secPassed
testCase[31 : DFDexampleSL.vdmsl]0.62 secPassed
testCase[31 : DFDexampleSL.vdmsl]0.62 secPassed
testCase[32 : test2.vdmsl]8 msPassed
testCase[32 : test2.vdmsl]8 msPassed
testCase[32 : test2.vdmsl]5 msPassed
testCase[32 : test2.vdmsl]5 msPassed
testCase[33 : VFSPP.vdmpp]50 msPassed
testCase[33 : VFSPP.vdmpp]74 msPassed
testCase[33 : VFSPP.vdmpp]50 msPassed
testCase[33 : VFSPP.vdmpp]74 msPassed
testCase[34 : AlarmproofPP.vdmpp]1 msPassed
testCase[34 : AlarmproofPP.vdmpp]59 msPassed
testCase[34 : AlarmproofPP.vdmpp]1 msPassed
testCase[34 : AlarmproofPP.vdmpp]59 msPassed
testCase[35 : FactorialPP.vdmpp]24 msPassed
testCase[35 : FactorialPP.vdmpp]24 msPassed
testCase[35 : FactorialPP.vdmpp]28 msPassed
testCase[35 : FactorialPP.vdmpp]28 msPassed
testCase[36 : HomeautomationSeqPP.vdmpp]0.16 secPassed
testCase[36 : HomeautomationSeqPP.vdmpp]0.16 secPassed
testCase[36 : HomeautomationSeqPP.vdmpp]0.16 secPassed
testCase[36 : HomeautomationSeqPP.vdmpp]0.16 secPassed
testCase[37 : PacemakerSimplePP.vdmpp]22 msPassed
testCase[37 : PacemakerSimplePP.vdmpp]22 msPassed
testCase[37 : PacemakerSimplePP.vdmpp]21 msPassed
testCase[37 : PacemakerSimplePP.vdmpp]21 msPassed
testCase[38 : stackPP.vdmpp]3 msPassed
testCase[38 : stackPP.vdmpp]16 msPassed
testCase[38 : stackPP.vdmpp]3 msPassed
testCase[38 : stackPP.vdmpp]16 msPassed
testCase[39 : TailHeadSeq1.vdmpp]2 msPassed
testCase[39 : TailHeadSeq1.vdmpp]0 msPassed
testCase[39 : TailHeadSeq1.vdmpp]2 msPassed
testCase[39 : TailHeadSeq1.vdmpp]0 msPassed
testCase[4 : ACSSL.vdmsl]0.35 secPassed
testCase[4 : ACSSL.vdmsl]0.35 secPassed
testCase[4 : ACSSL.vdmsl]0.52 secPassed
testCase[4 : ACSSL.vdmsl]0.52 secPassed
testCase[40 : DiningPP.vdmpp]16 msPassed
testCase[40 : DiningPP.vdmpp]6 msPassed
testCase[40 : DiningPP.vdmpp]16 msPassed
testCase[40 : DiningPP.vdmpp]6 msPassed
testCase[41 : webserverPP.vdmpp]14 msPassed
testCase[41 : webserverPP.vdmpp]6 msPassed
testCase[41 : webserverPP.vdmpp]14 msPassed
testCase[41 : webserverPP.vdmpp]6 msPassed
testCase[42 : diet2japanPP.vdmpp]20 msPassed
testCase[42 : diet2japanPP.vdmpp]26 msPassed
testCase[42 : diet2japanPP.vdmpp]20 msPassed
testCase[42 : diet2japanPP.vdmpp]26 msPassed
testCase[43 : ReaderWriterPP.vdmpp]14 msPassed
testCase[43 : ReaderWriterPP.vdmpp]42 msPassed
testCase[43 : ReaderWriterPP.vdmpp]14 msPassed
testCase[43 : ReaderWriterPP.vdmpp]42 msPassed
testCase[44 : MondexPP.vdmpp]40 msPassed
testCase[44 : MondexPP.vdmpp]40 msPassed
testCase[44 : MondexPP.vdmpp]34 msPassed
testCase[44 : MondexPP.vdmpp]34 msPassed
testCase[45 : AutopilotPP.vdmpp]22 msPassed
testCase[45 : AutopilotPP.vdmpp]14 msPassed
testCase[45 : AutopilotPP.vdmpp]14 msPassed
testCase[45 : AutopilotPP.vdmpp]22 msPassed
testCase[46 : memoryproofPP.vdmpp]33 msPassed
testCase[46 : memoryproofPP.vdmpp]19 msPassed
testCase[46 : memoryproofPP.vdmpp]33 msPassed
testCase[46 : memoryproofPP.vdmpp]19 msPassed
testCase[47 : HomeAutomationConcPP.vdmpp]0.19 secPassed
testCase[47 : HomeAutomationConcPP.vdmpp]0.13 secPassed
testCase[47 : HomeAutomationConcPP.vdmpp]0.13 secPassed
testCase[47 : HomeAutomationConcPP.vdmpp]0.19 secPassed
testCase[48 : concfactorialPP.vdmpp]16 msPassed
testCase[48 : concfactorialPP.vdmpp]11 msPassed
testCase[48 : concfactorialPP.vdmpp]16 msPassed
testCase[48 : concfactorialPP.vdmpp]11 msPassed
testCase[49 : HomeAutomationRT.vdmrt]0.15 secPassed
testCase[49 : HomeAutomationRT.vdmrt]0.15 secPassed
testCase[49 : HomeAutomationRT.vdmrt]0.27 secPassed
testCase[49 : HomeAutomationRT.vdmrt]0.27 secPassed
testCase[5 : NarrowPP.vdmpp]71 msPassed
testCase[5 : NarrowPP.vdmpp]47 msPassed
testCase[5 : NarrowPP.vdmpp]71 msPassed
testCase[5 : NarrowPP.vdmpp]47 msPassed
testCase[6 : trackerproofPP.vdmpp]60 msPassed
testCase[6 : trackerproofPP.vdmpp]42 msPassed
testCase[6 : trackerproofPP.vdmpp]60 msPassed
testCase[6 : trackerproofPP.vdmpp]42 msPassed
testCase[7 : TrackerSL.vdmsl]69 msPassed
testCase[7 : TrackerSL.vdmsl]58 msPassed
testCase[7 : TrackerSL.vdmsl]58 msPassed
testCase[7 : TrackerSL.vdmsl]69 msPassed
testCase[8 : pacemakerSL.vdmsl]0.15 secPassed
testCase[8 : pacemakerSL.vdmsl]0.15 secPassed
testCase[8 : pacemakerSL.vdmsl]0.1 secPassed
testCase[8 : pacemakerSL.vdmsl]0.1 secPassed
testCase[9 : telephoneSL.vdmsl]54 msPassed
testCase[9 : telephoneSL.vdmsl]54 msPassed
testCase[9 : telephoneSL.vdmsl]0.1 secPassed
testCase[9 : telephoneSL.vdmsl]0.1 secPassed