Test Result : ClassesPpTypeCheckTest

0 failures
47 tests
Took 5 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]4 msPassed
test[AccessModifier]8 msPassed
test[AlarmPP]20 msPassed
test[AlarmproofPP]23 msPassed
test[AlarmtracesPP]34 msPassed
test[AutopilotPP]25 msPassed
test[CMConcPP]0.1 secPassed
test[CMSeqPP]76 msPassed
test[CashDispenserConcPP]60 msPassed
test[CashDispenserPP]91 msPassed
test[CodegenPP]0.15 secPassed
test[ConstructorReturn]9 msPassed
test[DiningPP]19 msPassed
test[ElectronicPursePP]29 msPassed
test[EnigmaPP]39 msPassed
test[FactorialPP]7 msPassed
test[HomeAutomationConcPP]82 msPassed
test[HomeautomationSeqPP]2.1 secPassed
test[KLVPP]61 msPassed
test[MSAWconcurPP]0.19 secPassed
test[MSAWseqPP]0.1 secPassed
test[MondexPP]45 msPassed
test[NonExistingOpCallInTrace]11 msPassed
test[ObjectDesignatorInTrace]3 msPassed
test[POP3PP]85 msPassed
test[PacemakerConcPP]56 msPassed
test[PacemakerSeqPP]95 msPassed
test[PacemakerSimplePP]33 msPassed
test[ProductLinePP]41 msPassed
test[QuadilateralPP]0.2 secPassed
test[ReaderWriterPP]28 msPassed
test[SAFERPP]0.27 secPassed
test[SAFERProofPP]0.16 secPassed
test[SubclassImplementsAbstractOp]10 msPassed
test[TracesDublicatePP]2 msPassed
test[VFSPP]71 msPassed
test[buffersPP]17 msPassed
test[concfactorialPP]16 msPassed
test[diet2japanPP]35 msPassed
test[issue631-type-visibillity]4 msPassed
test[memoryproofPP]18 msPassed
test[stackPP]47 msPassed
test[trackerproofPP]17 msPassed
test[trayallocationPP]0.16 secPassed
test[treePP]41 msPassed
test[webserverPP]9 msPassed
test[worldcupPP]0.26 secPassed