Test Result : ClassesPpTypeCheckTest

0 failures (±0)

47 tests (±0)

All Tests

Test name	Duration	Status
test[AAFirstTest]	1 ms	Passed
test[AccessModifier]	3 ms	Passed
test[AlarmPP]	7 ms	Passed
test[AlarmproofPP]	7 ms	Passed
test[AlarmtracesPP]	9 ms	Passed
test[AutopilotPP]	6 ms	Passed
test[CMConcPP]	33 ms	Passed
test[CMSeqPP]	21 ms	Passed
test[CashDispenserConcPP]	28 ms	Passed
test[CashDispenserPP]	39 ms	Passed
test[CodegenPP]	81 ms	Passed
test[ConstructorReturn]	2 ms	Passed
test[DiningPP]	4 ms	Passed
test[ElectronicPursePP]	5 ms	Passed
test[EnigmaPP]	9 ms	Passed
test[FactorialPP]	4 ms	Passed
test[HomeAutomationConcPP]	32 ms	Passed
test[HomeautomationSeqPP]	29 ms	Passed
test[KLVPP]	22 ms	Passed
test[MSAWconcurPP]	75 ms	Passed
test[MSAWseqPP]	67 ms	Passed
test[MondexPP]	6 ms	Passed
test[NonExistingOpCallInTrace]	3 ms	Passed
test[ObjectDesignatorInTrace]	2 ms	Passed
test[POP3PP]	33 ms	Passed
test[PacemakerConcPP]	17 ms	Passed
test[PacemakerSeqPP]	19 ms	Passed
test[PacemakerSimplePP]	5 ms	Passed
test[ProductLinePP]	8 ms	Passed
test[QuadilateralPP]	26 ms	Passed
test[ReaderWriterPP]	6 ms	Passed
test[SAFERPP]	55 ms	Passed
test[SAFERProofPP]	0.12 sec	Passed
test[SubclassImplementsAbstractOp]	2 ms	Passed
test[TracesDublicatePP]	3 ms	Passed
test[VFSPP]	14 ms	Passed
test[buffersPP]	4 ms	Passed
test[concfactorialPP]	4 ms	Passed
test[diet2japanPP]	6 ms	Passed
test[issue631-type-visibillity]	1 ms	Passed
test[memoryproofPP]	8 ms	Passed
test[stackPP]	2 ms	Passed
test[trackerproofPP]	6 ms	Passed
test[trayallocationPP]	42 ms	Passed
test[treePP]	24 ms	Passed
test[webserverPP]	18 ms	Passed
test[worldcupPP]	57 ms	Passed