Test Result : ClassesPpTypeCheckTest

0 failures (±0)
141 tests (+94)
Took 4.1 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]2 msPassed
Install IDE / test[AAFirstTest]3 msPassed
Package core / test[AAFirstTest]2 msPassed
Install IDE / test[AccessModifier]2 msPassed
Package core / test[AccessModifier]4 msPassed
test[AccessModifier]4 msPassed
Install IDE / test[AlarmPP]6 msPassed
test[AlarmPP]25 msPassed
Package core / test[AlarmPP]25 msPassed
Install IDE / test[AlarmproofPP]5 msPassed
Package core / test[AlarmproofPP]22 msPassed
test[AlarmproofPP]22 msPassed
Install IDE / test[AlarmtracesPP]8 msPassed
Package core / test[AlarmtracesPP]26 msPassed
test[AlarmtracesPP]26 msPassed
test[AutopilotPP]18 msPassed
Install IDE / test[AutopilotPP]6 msPassed
Package core / test[AutopilotPP]18 msPassed
Package core / test[CMConcPP]84 msPassed
Install IDE / test[CMConcPP]29 msPassed
test[CMConcPP]84 msPassed
Install IDE / test[CMSeqPP]24 msPassed
Package core / test[CMSeqPP]35 msPassed
test[CMSeqPP]35 msPassed
test[CashDispenserConcPP]48 msPassed
Package core / test[CashDispenserConcPP]48 msPassed
Install IDE / test[CashDispenserConcPP]32 msPassed
Install IDE / test[CashDispenserPP]34 msPassed
Package core / test[CashDispenserPP]95 msPassed
test[CashDispenserPP]95 msPassed
Package core / test[CodegenPP]0.12 secPassed
test[CodegenPP]0.12 secPassed
Install IDE / test[CodegenPP]88 msPassed
test[ConstructorReturn]4 msPassed
Install IDE / test[ConstructorReturn]2 msPassed
Package core / test[ConstructorReturn]4 msPassed
Package core / test[DiningPP]9 msPassed
Install IDE / test[DiningPP]3 msPassed
test[DiningPP]9 msPassed
Package core / test[ElectronicPursePP]6 msPassed
test[ElectronicPursePP]6 msPassed
Install IDE / test[ElectronicPursePP]4 msPassed
Package core / test[EnigmaPP]16 msPassed
test[EnigmaPP]16 msPassed
Install IDE / test[EnigmaPP]9 msPassed
test[FactorialPP]9 msPassed
Install IDE / test[FactorialPP]4 msPassed
Package core / test[FactorialPP]9 msPassed
Package core / test[HomeAutomationConcPP]98 msPassed
test[HomeAutomationConcPP]98 msPassed
Install IDE / test[HomeAutomationConcPP]28 msPassed
Package core / test[HomeautomationSeqPP]53 msPassed
test[HomeautomationSeqPP]53 msPassed
Install IDE / test[HomeautomationSeqPP]32 msPassed
test[KLVPP]27 msPassed
Install IDE / test[KLVPP]19 msPassed
Package core / test[KLVPP]27 msPassed
test[MSAWconcurPP]94 msPassed
Package core / test[MSAWconcurPP]94 msPassed
Install IDE / test[MSAWconcurPP]65 msPassed
Install IDE / test[MSAWseqPP]56 msPassed
Package core / test[MSAWseqPP]77 msPassed
test[MSAWseqPP]77 msPassed
test[MondexPP]10 msPassed
Install IDE / test[MondexPP]6 msPassed
Package core / test[MondexPP]10 msPassed
Install IDE / test[NonExistingOpCallInTrace]3 msPassed
test[NonExistingOpCallInTrace]5 msPassed
Package core / test[NonExistingOpCallInTrace]5 msPassed
test[ObjectDesignatorInTrace]4 msPassed
Install IDE / test[ObjectDesignatorInTrace]1 msPassed
Package core / test[ObjectDesignatorInTrace]4 msPassed
Install IDE / test[POP3PP]29 msPassed
Package core / test[POP3PP]0.12 secPassed
test[POP3PP]0.12 secPassed
test[PacemakerConcPP]30 msPassed
Package core / test[PacemakerConcPP]30 msPassed
Install IDE / test[PacemakerConcPP]19 msPassed
Package core / test[PacemakerSeqPP]27 msPassed
Install IDE / test[PacemakerSeqPP]17 msPassed
test[PacemakerSeqPP]27 msPassed
Install IDE / test[PacemakerSimplePP]5 msPassed
Package core / test[PacemakerSimplePP]9 msPassed
test[PacemakerSimplePP]9 msPassed
Package core / test[ProductLinePP]15 msPassed
Install IDE / test[ProductLinePP]8 msPassed
test[ProductLinePP]15 msPassed
Install IDE / test[QuadilateralPP]24 msPassed
test[QuadilateralPP]0.14 secPassed
Package core / test[QuadilateralPP]0.14 secPassed
Package core / test[ReaderWriterPP]18 msPassed
test[ReaderWriterPP]18 msPassed
Install IDE / test[ReaderWriterPP]6 msPassed
test[SAFERPP]63 msPassed
Install IDE / test[SAFERPP]43 msPassed
Package core / test[SAFERPP]63 msPassed
Package core / test[SAFERProofPP]69 msPassed
Install IDE / test[SAFERProofPP]0.11 secPassed
test[SAFERProofPP]69 msPassed
test[SubclassImplementsAbstractOp]4 msPassed
Package core / test[SubclassImplementsAbstractOp]4 msPassed
Install IDE / test[SubclassImplementsAbstractOp]1 msPassed
Install IDE / test[TracesDublicatePP]1 msPassed
test[TracesDublicatePP]3 msPassed
Package core / test[TracesDublicatePP]3 msPassed
Package core / test[VFSPP]22 msPassed
test[VFSPP]22 msPassed
Install IDE / test[VFSPP]9 msPassed
test[buffersPP]6 msPassed
Package core / test[buffersPP]6 msPassed
Install IDE / test[buffersPP]4 msPassed
Package core / test[concfactorialPP]6 msPassed
Install IDE / test[concfactorialPP]4 msPassed
test[concfactorialPP]6 msPassed
Install IDE / test[diet2japanPP]4 msPassed
Package core / test[diet2japanPP]10 msPassed
test[diet2japanPP]10 msPassed
Package core / test[issue631-type-visibillity]3 msPassed
Install IDE / test[issue631-type-visibillity]1 msPassed
test[issue631-type-visibillity]3 msPassed
test[memoryproofPP]13 msPassed
Package core / test[memoryproofPP]13 msPassed
Install IDE / test[memoryproofPP]11 msPassed
Install IDE / test[stackPP]3 msPassed
Package core / test[stackPP]4 msPassed
test[stackPP]4 msPassed
Install IDE / test[trackerproofPP]5 msPassed
Package core / test[trackerproofPP]9 msPassed
test[trackerproofPP]9 msPassed
test[trayallocationPP]48 msPassed
Package core / test[trayallocationPP]48 msPassed
Install IDE / test[trayallocationPP]36 msPassed
test[treePP]20 msPassed
Install IDE / test[treePP]11 msPassed
Package core / test[treePP]20 msPassed
Package core / test[webserverPP]10 msPassed
test[webserverPP]10 msPassed
Install IDE / test[webserverPP]5 msPassed
Install IDE / test[worldcupPP]32 msPassed
test[worldcupPP]72 msPassed
Package core / test[worldcupPP]72 msPassed