Test Result : ClassesPpTypeCheckTest

0 failures (±0)
47 tests (-141)
Took 2.3 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]2 msPassed
test[AccessModifier]4 msPassed
test[AlarmPP]35 msPassed
test[AlarmproofPP]38 msPassed
test[AlarmtracesPP]44 msPassed
test[AutopilotPP]24 msPassed
test[CMConcPP]0.13 secPassed
test[CMSeqPP]34 msPassed
test[CashDispenserConcPP]86 msPassed
test[CashDispenserPP]0.16 secPassed
test[CodegenPP]0.23 secPassed
test[ConstructorReturn]4 msPassed
test[DiningPP]15 msPassed
test[ElectronicPursePP]3 msPassed
test[EnigmaPP]18 msPassed
test[FactorialPP]6 msPassed
test[HomeAutomationConcPP]68 msPassed
test[HomeautomationSeqPP]0.1 secPassed
test[KLVPP]61 msPassed
test[MSAWconcurPP]71 msPassed
test[MSAWseqPP]0.1 secPassed
test[MondexPP]23 msPassed
test[NonExistingOpCallInTrace]12 msPassed
test[ObjectDesignatorInTrace]11 msPassed
test[POP3PP]0.16 secPassed
test[PacemakerConcPP]44 msPassed
test[PacemakerSeqPP]82 msPassed
test[PacemakerSimplePP]6 msPassed
test[ProductLinePP]26 msPassed
test[QuadilateralPP]0.18 secPassed
test[ReaderWriterPP]14 msPassed
test[SAFERPP]86 msPassed
test[SAFERProofPP]0.1 secPassed
test[SubclassImplementsAbstractOp]5 msPassed
test[TracesDublicatePP]5 msPassed
test[VFSPP]22 msPassed
test[buffersPP]9 msPassed
test[concfactorialPP]17 msPassed
test[diet2japanPP]12 msPassed
test[issue631-type-visibillity]2 msPassed
test[memoryproofPP]13 msPassed
test[stackPP]3 msPassed
test[trackerproofPP]11 msPassed
test[trayallocationPP]0.11 secPassed
test[treePP]49 msPassed
test[webserverPP]17 msPassed
test[worldcupPP]74 msPassed