Test Result : ClassesPpTypeCheckTest

0 failures (±0)

47 tests (±0)

All Tests

Test name	Duration	Status
test[AAFirstTest]	0 ms	Passed
test[AccessModifier]	2 ms	Passed
test[AlarmPP]	5 ms	Passed
test[AlarmproofPP]	4 ms	Passed
test[AlarmtracesPP]	11 ms	Passed
test[AutopilotPP]	4 ms	Passed
test[CMConcPP]	22 ms	Passed
test[CMSeqPP]	25 ms	Passed
test[CashDispenserConcPP]	34 ms	Passed
test[CashDispenserPP]	27 ms	Passed
test[CodegenPP]	96 ms	Passed
test[ConstructorReturn]	2 ms	Passed
test[DiningPP]	3 ms	Passed
test[ElectronicPursePP]	6 ms	Passed
test[EnigmaPP]	11 ms	Passed
test[FactorialPP]	4 ms	Passed
test[HomeAutomationConcPP]	28 ms	Passed
test[HomeautomationSeqPP]	36 ms	Passed
test[KLVPP]	14 ms	Passed
test[MSAWconcurPP]	72 ms	Passed
test[MSAWseqPP]	97 ms	Passed
test[MondexPP]	7 ms	Passed
test[NonExistingOpCallInTrace]	2 ms	Passed
test[ObjectDesignatorInTrace]	0 ms	Passed
test[POP3PP]	24 ms	Passed
test[PacemakerConcPP]	19 ms	Passed
test[PacemakerSeqPP]	17 ms	Passed
test[PacemakerSimplePP]	5 ms	Passed
test[ProductLinePP]	9 ms	Passed
test[QuadilateralPP]	25 ms	Passed
test[ReaderWriterPP]	5 ms	Passed
test[SAFERPP]	45 ms	Passed
test[SAFERProofPP]	38 ms	Passed
test[SubclassImplementsAbstractOp]	2 ms	Passed
test[TracesDublicatePP]	1 ms	Passed
test[VFSPP]	13 ms	Passed
test[buffersPP]	4 ms	Passed
test[concfactorialPP]	4 ms	Passed
test[diet2japanPP]	4 ms	Passed
test[issue631-type-visibillity]	1 ms	Passed
test[memoryproofPP]	6 ms	Passed
test[stackPP]	2 ms	Passed
test[trackerproofPP]	4 ms	Passed
test[trayallocationPP]	41 ms	Passed
test[treePP]	8 ms	Passed
test[webserverPP]	4 ms	Passed
test[worldcupPP]	28 ms	Passed