Test Result : ClassesPpTypeCheckTest

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

All Tests

Test nameDurationStatus
test[AAFirstTest]1 msPassed
test[AccessModifier]2 msPassed
test[AlarmPP]7 msPassed
test[AlarmproofPP]6 msPassed
test[AlarmtracesPP]9 msPassed
test[AutopilotPP]6 msPassed
test[CMConcPP]32 msPassed
test[CMSeqPP]24 msPassed
test[CashDispenserConcPP]33 msPassed
test[CashDispenserPP]60 msPassed
test[CodegenPP]91 msPassed
test[ConstructorReturn]1 msPassed
test[DiningPP]4 msPassed
test[ElectronicPursePP]4 msPassed
test[EnigmaPP]11 msPassed
test[FactorialPP]3 msPassed
test[HomeAutomationConcPP]32 msPassed
test[HomeautomationSeqPP]35 msPassed
test[KLVPP]21 msPassed
test[MSAWconcurPP]68 msPassed
test[MSAWseqPP]58 msPassed
test[MondexPP]6 msPassed
test[NonExistingOpCallInTrace]3 msPassed
test[ObjectDesignatorInTrace]1 msPassed
test[POP3PP]30 msPassed
test[PacemakerConcPP]20 msPassed
test[PacemakerSeqPP]18 msPassed
test[PacemakerSimplePP]5 msPassed
test[ProductLinePP]10 msPassed
test[QuadilateralPP]0.11 secPassed
test[ReaderWriterPP]6 msPassed
test[SAFERPP]45 msPassed
test[SAFERProofPP]38 msPassed
test[SubclassImplementsAbstractOp]1 msPassed
test[TracesDublicatePP]1 msPassed
test[VFSPP]10 msPassed
test[buffersPP]4 msPassed
test[concfactorialPP]4 msPassed
test[diet2japanPP]4 msPassed
test[issue631-type-visibillity]1 msPassed
test[memoryproofPP]7 msPassed
test[stackPP]3 msPassed
test[trackerproofPP]6 msPassed
test[trayallocationPP]39 msPassed
test[treePP]13 msPassed
test[webserverPP]6 msPassed
test[worldcupPP]37 msPassed