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]	22 ms	Passed
test[AlarmproofPP]	14 ms	Passed
test[AlarmtracesPP]	0.11 sec	Passed
test[AutopilotPP]	18 ms	Passed
test[CMConcPP]	26 ms	Passed
test[CMSeqPP]	36 ms	Passed
test[CashDispenserConcPP]	29 ms	Passed
test[CashDispenserPP]	31 ms	Passed
test[CodegenPP]	83 ms	Passed
test[ConstructorReturn]	1 ms	Passed
test[DiningPP]	7 ms	Passed
test[ElectronicPursePP]	4 ms	Passed
test[EnigmaPP]	9 ms	Passed
test[FactorialPP]	4 ms	Passed
test[HomeAutomationConcPP]	28 ms	Passed
test[HomeautomationSeqPP]	30 ms	Passed
test[KLVPP]	17 ms	Passed
test[MSAWconcurPP]	64 ms	Passed
test[MSAWseqPP]	48 ms	Passed
test[MondexPP]	6 ms	Passed
test[NonExistingOpCallInTrace]	3 ms	Passed
test[ObjectDesignatorInTrace]	1 ms	Passed
test[POP3PP]	32 ms	Passed
test[PacemakerConcPP]	17 ms	Passed
test[PacemakerSeqPP]	17 ms	Passed
test[PacemakerSimplePP]	5 ms	Passed
test[ProductLinePP]	8 ms	Passed
test[QuadilateralPP]	25 ms	Passed
test[ReaderWriterPP]	6 ms	Passed
test[SAFERPP]	43 ms	Passed
test[SAFERProofPP]	44 ms	Passed
test[SubclassImplementsAbstractOp]	1 ms	Passed
test[TracesDublicatePP]	1 ms	Passed
test[VFSPP]	8 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]	5 ms	Passed
test[trayallocationPP]	38 ms	Passed
test[treePP]	10 ms	Passed
test[webserverPP]	5 ms	Passed
test[worldcupPP]	32 ms	Passed