Test Result : ClassesPpTypeCheckTest

0 failures
188 tests
Took 5 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]1 msPassed
test[AAFirstTest]3 msPassed
Install IDE / test[AAFirstTest]1 msPassed
Package core / test[AAFirstTest]3 msPassed
Install IDE / test[AccessModifier]2 msPassed
Package core / test[AccessModifier]5 msPassed
test[AccessModifier]2 msPassed
test[AccessModifier]5 msPassed
test[AlarmPP]8 msPassed
Package core / test[AlarmPP]8 msPassed
test[AlarmPP]5 msPassed
Install IDE / test[AlarmPP]5 msPassed
Package core / test[AlarmproofPP]13 msPassed
Install IDE / test[AlarmproofPP]4 msPassed
test[AlarmproofPP]4 msPassed
test[AlarmproofPP]13 msPassed
test[AlarmtracesPP]6 msPassed
Package core / test[AlarmtracesPP]15 msPassed
test[AlarmtracesPP]15 msPassed
Install IDE / test[AlarmtracesPP]6 msPassed
test[AutopilotPP]6 msPassed
test[AutopilotPP]4 msPassed
Install IDE / test[AutopilotPP]4 msPassed
Package core / test[AutopilotPP]6 msPassed
Package core / test[CMConcPP]82 msPassed
test[CMConcPP]82 msPassed
test[CMConcPP]23 msPassed
Install IDE / test[CMConcPP]23 msPassed
test[CMSeqPP]18 msPassed
test[CMSeqPP]32 msPassed
Install IDE / test[CMSeqPP]18 msPassed
Package core / test[CMSeqPP]32 msPassed
Install IDE / test[CashDispenserConcPP]23 msPassed
Package core / test[CashDispenserConcPP]41 msPassed
test[CashDispenserConcPP]41 msPassed
test[CashDispenserConcPP]23 msPassed
test[CashDispenserPP]87 msPassed
test[CashDispenserPP]28 msPassed
Package core / test[CashDispenserPP]87 msPassed
Install IDE / test[CashDispenserPP]28 msPassed
test[CodegenPP]75 msPassed
Package core / test[CodegenPP]0.17 secPassed
Install IDE / test[CodegenPP]75 msPassed
test[CodegenPP]0.17 secPassed
Install IDE / test[ConstructorReturn]1 msPassed
test[ConstructorReturn]6 msPassed
test[ConstructorReturn]1 msPassed
Package core / test[ConstructorReturn]6 msPassed
test[DiningPP]3 msPassed
Install IDE / test[DiningPP]3 msPassed
Package core / test[DiningPP]6 msPassed
test[DiningPP]6 msPassed
test[ElectronicPursePP]3 msPassed
test[ElectronicPursePP]7 msPassed
Install IDE / test[ElectronicPursePP]3 msPassed
Package core / test[ElectronicPursePP]7 msPassed
test[EnigmaPP]11 msPassed
Install IDE / test[EnigmaPP]8 msPassed
test[EnigmaPP]8 msPassed
Package core / test[EnigmaPP]11 msPassed
Package core / test[FactorialPP]6 msPassed
test[FactorialPP]6 msPassed
Install IDE / test[FactorialPP]3 msPassed
test[FactorialPP]3 msPassed
Package core / test[HomeAutomationConcPP]74 msPassed
test[HomeAutomationConcPP]74 msPassed
test[HomeAutomationConcPP]22 msPassed
Install IDE / test[HomeAutomationConcPP]22 msPassed
Install IDE / test[HomeautomationSeqPP]24 msPassed
test[HomeautomationSeqPP]24 msPassed
test[HomeautomationSeqPP]32 msPassed
Package core / test[HomeautomationSeqPP]32 msPassed
test[KLVPP]16 msPassed
Install IDE / test[KLVPP]16 msPassed
test[KLVPP]51 msPassed
Package core / test[KLVPP]51 msPassed
Package core / test[MSAWconcurPP]0.1 secPassed
test[MSAWconcurPP]52 msPassed
Install IDE / test[MSAWconcurPP]52 msPassed
test[MSAWconcurPP]0.1 secPassed
Package core / test[MSAWseqPP]69 msPassed
test[MSAWseqPP]45 msPassed
test[MSAWseqPP]69 msPassed
Install IDE / test[MSAWseqPP]45 msPassed
test[MondexPP]15 msPassed
Package core / test[MondexPP]15 msPassed
test[MondexPP]5 msPassed
Install IDE / test[MondexPP]5 msPassed
Package core / test[NonExistingOpCallInTrace]4 msPassed
test[NonExistingOpCallInTrace]4 msPassed
Install IDE / test[NonExistingOpCallInTrace]3 msPassed
test[NonExistingOpCallInTrace]3 msPassed
test[ObjectDesignatorInTrace]1 msPassed
Package core / test[ObjectDesignatorInTrace]8 msPassed
test[ObjectDesignatorInTrace]8 msPassed
Install IDE / test[ObjectDesignatorInTrace]1 msPassed
test[POP3PP]79 msPassed
Install IDE / test[POP3PP]25 msPassed
Package core / test[POP3PP]79 msPassed
test[POP3PP]25 msPassed
test[PacemakerConcPP]13 msPassed
Package core / test[PacemakerConcPP]19 msPassed
Install IDE / test[PacemakerConcPP]13 msPassed
test[PacemakerConcPP]19 msPassed
Install IDE / test[PacemakerSeqPP]13 msPassed
Package core / test[PacemakerSeqPP]76 msPassed
test[PacemakerSeqPP]13 msPassed
test[PacemakerSeqPP]76 msPassed
Install IDE / test[PacemakerSimplePP]4 msPassed
test[PacemakerSimplePP]4 msPassed
test[PacemakerSimplePP]6 msPassed
Package core / test[PacemakerSimplePP]6 msPassed
Install IDE / test[ProductLinePP]6 msPassed
test[ProductLinePP]9 msPassed
Package core / test[ProductLinePP]9 msPassed
test[ProductLinePP]6 msPassed
Package core / test[QuadilateralPP]84 msPassed
test[QuadilateralPP]84 msPassed
test[QuadilateralPP]21 msPassed
Install IDE / test[QuadilateralPP]21 msPassed
Package core / test[ReaderWriterPP]12 msPassed
Install IDE / test[ReaderWriterPP]4 msPassed
test[ReaderWriterPP]12 msPassed
test[ReaderWriterPP]4 msPassed
Install IDE / test[SAFERPP]37 msPassed
test[SAFERPP]37 msPassed
Package core / test[SAFERPP]0.16 secPassed
test[SAFERPP]0.16 secPassed
test[SAFERProofPP]46 msPassed
Install IDE / test[SAFERProofPP]84 msPassed
test[SAFERProofPP]84 msPassed
Package core / test[SAFERProofPP]46 msPassed
test[SubclassImplementsAbstractOp]1 msPassed
Package core / test[SubclassImplementsAbstractOp]4 msPassed
Install IDE / test[SubclassImplementsAbstractOp]1 msPassed
test[SubclassImplementsAbstractOp]4 msPassed
Install IDE / test[TracesDublicatePP]2 msPassed
Package core / test[TracesDublicatePP]2 msPassed
test[TracesDublicatePP]2 msPassed
test[TracesDublicatePP]2 msPassed
Install IDE / test[VFSPP]8 msPassed
Package core / test[VFSPP]40 msPassed
test[VFSPP]40 msPassed
test[VFSPP]8 msPassed
test[buffersPP]11 msPassed
Install IDE / test[buffersPP]3 msPassed
test[buffersPP]3 msPassed
Package core / test[buffersPP]11 msPassed
test[concfactorialPP]3 msPassed
Install IDE / test[concfactorialPP]3 msPassed
test[concfactorialPP]27 msPassed
Package core / test[concfactorialPP]27 msPassed
test[diet2japanPP]10 msPassed
Install IDE / test[diet2japanPP]3 msPassed
Package core / test[diet2japanPP]10 msPassed
test[diet2japanPP]3 msPassed
test[issue631-type-visibillity]1 msPassed
Install IDE / test[issue631-type-visibillity]0 msPassed
Package core / test[issue631-type-visibillity]1 msPassed
test[issue631-type-visibillity]0 msPassed
test[memoryproofPP]5 msPassed
Package core / test[memoryproofPP]17 msPassed
Install IDE / test[memoryproofPP]5 msPassed
test[memoryproofPP]17 msPassed
test[stackPP]5 msPassed
Install IDE / test[stackPP]2 msPassed
test[stackPP]2 msPassed
Package core / test[stackPP]5 msPassed
Install IDE / test[trackerproofPP]4 msPassed
test[trackerproofPP]4 msPassed
Package core / test[trackerproofPP]17 msPassed
test[trackerproofPP]17 msPassed
Install IDE / test[trayallocationPP]28 msPassed
test[trayallocationPP]80 msPassed
Package core / test[trayallocationPP]80 msPassed
test[trayallocationPP]28 msPassed
Install IDE / test[treePP]14 msPassed
test[treePP]14 msPassed
Package core / test[treePP]34 msPassed
test[treePP]34 msPassed
test[webserverPP]19 msPassed
Install IDE / test[webserverPP]5 msPassed
Package core / test[webserverPP]19 msPassed
test[webserverPP]5 msPassed
test[worldcupPP]60 msPassed
Install IDE / test[worldcupPP]60 msPassed
Package core / test[worldcupPP]0.17 secPassed
test[worldcupPP]0.17 secPassed