Test Result : ClassesPpTypeCheckTest

0 failures (±0)

47 tests (±0)

All Tests

Test name	Duration	Status
test[AAFirstTest]	1 ms	Passed
test[AccessModifier]	2 ms	Passed
test[AlarmPP]	6 ms	Passed
test[AlarmproofPP]	6 ms	Passed
test[AlarmtracesPP]	10 ms	Passed
test[AutopilotPP]	6 ms	Passed
test[CMConcPP]	30 ms	Passed
test[CMSeqPP]	27 ms	Passed
test[CashDispenserConcPP]	41 ms	Passed
test[CashDispenserPP]	36 ms	Passed
test[CodegenPP]	0.1 sec	Passed
test[ConstructorReturn]	2 ms	Passed
test[DiningPP]	3 ms	Passed
test[ElectronicPursePP]	4 ms	Passed
test[EnigmaPP]	7 ms	Passed
test[FactorialPP]	9 ms	Passed
test[HomeAutomationConcPP]	30 ms	Passed
test[HomeautomationSeqPP]	35 ms	Passed
test[KLVPP]	21 ms	Passed
test[MSAWconcurPP]	66 ms	Passed
test[MSAWseqPP]	50 ms	Passed
test[MondexPP]	40 ms	Passed
test[NonExistingOpCallInTrace]	3 ms	Passed
test[ObjectDesignatorInTrace]	1 ms	Passed
test[POP3PP]	29 ms	Passed
test[PacemakerConcPP]	26 ms	Passed
test[PacemakerSeqPP]	18 ms	Passed
test[PacemakerSimplePP]	11 ms	Passed
test[ProductLinePP]	7 ms	Passed
test[QuadilateralPP]	25 ms	Passed
test[ReaderWriterPP]	6 ms	Passed
test[SAFERPP]	44 ms	Passed
test[SAFERProofPP]	0.13 sec	Passed
test[SubclassImplementsAbstractOp]	1 ms	Passed
test[TracesDublicatePP]	1 ms	Passed
test[VFSPP]	9 ms	Passed
test[buffersPP]	4 ms	Passed
test[concfactorialPP]	4 ms	Passed
test[diet2japanPP]	1 ms	Passed
test[issue631-type-visibillity]	1 ms	Passed
test[memoryproofPP]	7 ms	Passed
test[stackPP]	0 ms	Passed
test[trackerproofPP]	5 ms	Passed
test[trayallocationPP]	38 ms	Passed
test[treePP]	10 ms	Passed
test[webserverPP]	5 ms	Passed
test[worldcupPP]	36 ms	Passed