Test Result : PogIntegrationTest

0 failures (±0)

100 tests (±0)

All Tests

Test name	Duration	Status
testCase[0 : AllThePOs.vdmsl]	0.1 sec	Passed
Package core / testCase[0 : AllThePOs.vdmsl]	0.1 sec	Passed
testCase[1 : airport.vdmsl]	36 ms	Passed
Package core / testCase[1 : airport.vdmsl]	36 ms	Passed
Package core / testCase[10 : hotelSL.vdmsl]	36 ms	Passed
testCase[10 : hotelSL.vdmsl]	36 ms	Passed
Package core / testCase[11 : test1.vdmsl]	2 ms	Passed
testCase[11 : test1.vdmsl]	2 ms	Passed
testCase[12 : CMSL.vdmsl]	42 ms	Passed
Package core / testCase[12 : CMSL.vdmsl]	42 ms	Passed
Package core / testCase[13 : shmemSL.vdmsl]	78 ms	Passed
testCase[13 : shmemSL.vdmsl]	78 ms	Passed
testCase[14 : realmSL.vdmsl]	0.1 sec	Passed
Package core / testCase[14 : realmSL.vdmsl]	0.1 sec	Passed
testCase[15 : CountryColouringSL.vdmsl]	10 ms	Passed
Package core / testCase[15 : CountryColouringSL.vdmsl]	10 ms	Passed
testCase[16 : simpleExportImport.vdmsl]	6 ms	Passed
Package core / testCase[16 : simpleExportImport.vdmsl]	6 ms	Passed
Package core / testCase[17 : crosswordSL.vdmsl]	30 ms	Passed
testCase[17 : crosswordSL.vdmsl]	30 ms	Passed
testCase[18 : MAASL.vdmsl]	86 ms	Passed
Package core / testCase[18 : MAASL.vdmsl]	86 ms	Passed
Package core / testCase[19 : monitorSL.vdmsl]	5 ms	Passed
testCase[19 : monitorSL.vdmsl]	5 ms	Passed
testCase[2 : alarm.vdmsl]	12 ms	Passed
Package core / testCase[2 : alarm.vdmsl]	12 ms	Passed
Package core / testCase[20 : recursiveSL.vdmsl]	19 ms	Passed
testCase[20 : recursiveSL.vdmsl]	19 ms	Passed
testCase[21 : barSL.vdmsl]	41 ms	Passed
Package core / testCase[21 : barSL.vdmsl]	41 ms	Passed
testCase[22 : soccerSL.vdmsl]	40 ms	Passed
Package core / testCase[22 : soccerSL.vdmsl]	40 ms	Passed
testCase[23 : raildirSL.vdmsl]	86 ms	Passed
Package core / testCase[23 : raildirSL.vdmsl]	86 ms	Passed
testCase[24 : ATCSL.vdmsl]	0.14 sec	Passed
Package core / testCase[24 : ATCSL.vdmsl]	0.14 sec	Passed
Package core / testCase[25 : gatewaySL.vdmsl]	9 ms	Passed
testCase[25 : gatewaySL.vdmsl]	9 ms	Passed
testCase[26 : simpleExportImportTypes.vdmsl]	2 ms	Passed
Package core / testCase[26 : simpleExportImportTypes.vdmsl]	2 ms	Passed
testCase[27 : PlannerSL.vdmsl]	17 ms	Passed
Package core / testCase[27 : PlannerSL.vdmsl]	17 ms	Passed
Package core / testCase[28 : BOMSL.vdmsl]	8 ms	Passed
testCase[28 : BOMSL.vdmsl]	8 ms	Passed
Package core / testCase[29 : trafficSL.vdmsl]	7 ms	Passed
testCase[29 : trafficSL.vdmsl]	7 ms	Passed
Package core / testCase[3 : AlarmSL.vdmsl]	40 ms	Passed
testCase[3 : AlarmSL.vdmsl]	40 ms	Passed
Package core / testCase[30 : expressSL.vdmsl]	33 ms	Passed
testCase[30 : expressSL.vdmsl]	33 ms	Passed
testCase[31 : DFDexampleSL.vdmsl]	0.3 sec	Passed
Package core / testCase[31 : DFDexampleSL.vdmsl]	0.3 sec	Passed
testCase[32 : test2.vdmsl]	2 ms	Passed
Package core / testCase[32 : test2.vdmsl]	2 ms	Passed
Package core / testCase[33 : VFSPP.vdmpp]	37 ms	Passed
testCase[33 : VFSPP.vdmpp]	37 ms	Passed
testCase[34 : AlarmproofPP.vdmpp]	17 ms	Passed
Package core / testCase[34 : AlarmproofPP.vdmpp]	17 ms	Passed
Package core / testCase[35 : FactorialPP.vdmpp]	23 ms	Passed
testCase[35 : FactorialPP.vdmpp]	23 ms	Passed
Package core / testCase[36 : HomeautomationSeqPP.vdmpp]	0.2 sec	Passed
testCase[36 : HomeautomationSeqPP.vdmpp]	0.2 sec	Passed
Package core / testCase[37 : PacemakerSimplePP.vdmpp]	23 ms	Passed
testCase[37 : PacemakerSimplePP.vdmpp]	23 ms	Passed
Package core / testCase[38 : stackPP.vdmpp]	8 ms	Passed
testCase[38 : stackPP.vdmpp]	8 ms	Passed
testCase[39 : TailHeadSeq1.vdmpp]	1 ms	Passed
Package core / testCase[39 : TailHeadSeq1.vdmpp]	1 ms	Passed
Package core / testCase[4 : ACSSL.vdmsl]	0.23 sec	Passed
testCase[4 : ACSSL.vdmsl]	0.23 sec	Passed
Package core / testCase[40 : DiningPP.vdmpp]	15 ms	Passed
testCase[40 : DiningPP.vdmpp]	15 ms	Passed
Package core / testCase[41 : webserverPP.vdmpp]	26 ms	Passed
testCase[41 : webserverPP.vdmpp]	26 ms	Passed
testCase[42 : diet2japanPP.vdmpp]	29 ms	Passed
Package core / testCase[42 : diet2japanPP.vdmpp]	29 ms	Passed
Package core / testCase[43 : ReaderWriterPP.vdmpp]	32 ms	Passed
testCase[43 : ReaderWriterPP.vdmpp]	32 ms	Passed
Package core / testCase[44 : MondexPP.vdmpp]	33 ms	Passed
testCase[44 : MondexPP.vdmpp]	33 ms	Passed
Package core / testCase[45 : AutopilotPP.vdmpp]	23 ms	Passed
testCase[45 : AutopilotPP.vdmpp]	23 ms	Passed
Package core / testCase[46 : memoryproofPP.vdmpp]	53 ms	Passed
testCase[46 : memoryproofPP.vdmpp]	53 ms	Passed
Package core / testCase[47 : HomeAutomationConcPP.vdmpp]	58 ms	Passed
testCase[47 : HomeAutomationConcPP.vdmpp]	58 ms	Passed
Package core / testCase[48 : concfactorialPP.vdmpp]	6 ms	Passed
testCase[48 : concfactorialPP.vdmpp]	6 ms	Passed
testCase[49 : HomeAutomationRT.vdmrt]	66 ms	Passed
Package core / testCase[49 : HomeAutomationRT.vdmrt]	66 ms	Passed
testCase[5 : NarrowPP.vdmpp]	25 ms	Passed
Package core / testCase[5 : NarrowPP.vdmpp]	25 ms	Passed
Package core / testCase[6 : trackerproofPP.vdmpp]	27 ms	Passed
testCase[6 : trackerproofPP.vdmpp]	27 ms	Passed
Package core / testCase[7 : TrackerSL.vdmsl]	34 ms	Passed
testCase[7 : TrackerSL.vdmsl]	34 ms	Passed
Package core / testCase[8 : pacemakerSL.vdmsl]	88 ms	Passed
testCase[8 : pacemakerSL.vdmsl]	88 ms	Passed
testCase[9 : telephoneSL.vdmsl]	33 ms	Passed
Package core / testCase[9 : telephoneSL.vdmsl]	33 ms	Passed