Test Result : ClassesPpTypeCheckTest

0 failures (±0)
47 tests (±0)
Took 0.92 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]1 msPassed
test[AccessModifier]2 msPassed
test[AlarmPP]22 msPassed
test[AlarmproofPP]14 msPassed
test[AlarmtracesPP]0.11 secPassed
test[AutopilotPP]18 msPassed
test[CMConcPP]26 msPassed
test[CMSeqPP]36 msPassed
test[CashDispenserConcPP]29 msPassed
test[CashDispenserPP]31 msPassed
test[CodegenPP]83 msPassed
test[ConstructorReturn]1 msPassed
test[DiningPP]7 msPassed
test[ElectronicPursePP]4 msPassed
test[EnigmaPP]9 msPassed
test[FactorialPP]4 msPassed
test[HomeAutomationConcPP]28 msPassed
test[HomeautomationSeqPP]30 msPassed
test[KLVPP]17 msPassed
test[MSAWconcurPP]64 msPassed
test[MSAWseqPP]48 msPassed
test[MondexPP]6 msPassed
test[NonExistingOpCallInTrace]3 msPassed
test[ObjectDesignatorInTrace]1 msPassed
test[POP3PP]32 msPassed
test[PacemakerConcPP]17 msPassed
test[PacemakerSeqPP]17 msPassed
test[PacemakerSimplePP]5 msPassed
test[ProductLinePP]8 msPassed
test[QuadilateralPP]25 msPassed
test[ReaderWriterPP]6 msPassed
test[SAFERPP]43 msPassed
test[SAFERProofPP]44 msPassed
test[SubclassImplementsAbstractOp]1 msPassed
test[TracesDublicatePP]1 msPassed
test[VFSPP]8 msPassed
test[buffersPP]4 msPassed
test[concfactorialPP]4 msPassed
test[diet2japanPP]4 msPassed
test[issue631-type-visibillity]1 msPassed
test[memoryproofPP]6 msPassed
test[stackPP]2 msPassed
test[trackerproofPP]5 msPassed
test[trayallocationPP]38 msPassed
test[treePP]10 msPassed
test[webserverPP]5 msPassed
test[worldcupPP]32 msPassed