Test Result : ClassesPpTypeCheckTest

0 failures
188 tests
Took 11 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]3 msPassed
Install IDE / test[AAFirstTest]5 msPassed
test[AAFirstTest]5 msPassed
Package core / test[AAFirstTest]3 msPassed
Install IDE / test[AccessModifier]5 msPassed
Package core / test[AccessModifier]6 msPassed
test[AccessModifier]5 msPassed
test[AccessModifier]6 msPassed
test[AlarmPP]37 msPassed
Install IDE / test[AlarmPP]37 msPassed
test[AlarmPP]36 msPassed
Package core / test[AlarmPP]36 msPassed
test[AlarmproofPP]36 msPassed
Package core / test[AlarmproofPP]36 msPassed
Install IDE / test[AlarmproofPP]30 msPassed
test[AlarmproofPP]30 msPassed
Install IDE / test[AlarmtracesPP]19 msPassed
Package core / test[AlarmtracesPP]30 msPassed
test[AlarmtracesPP]30 msPassed
test[AlarmtracesPP]19 msPassed
test[AutopilotPP]11 msPassed
test[AutopilotPP]26 msPassed
Install IDE / test[AutopilotPP]11 msPassed
Package core / test[AutopilotPP]26 msPassed
test[CMConcPP]0.15 secPassed
Install IDE / test[CMConcPP]82 msPassed
Package core / test[CMConcPP]0.15 secPassed
test[CMConcPP]82 msPassed
Install IDE / test[CMSeqPP]78 msPassed
test[CMSeqPP]49 msPassed
Package core / test[CMSeqPP]49 msPassed
test[CMSeqPP]78 msPassed
Package core / test[CashDispenserConcPP]85 msPassed
test[CashDispenserConcPP]85 msPassed
Install IDE / test[CashDispenserConcPP]91 msPassed
test[CashDispenserConcPP]91 msPassed
test[CashDispenserPP]89 msPassed
Package core / test[CashDispenserPP]0.14 secPassed
Install IDE / test[CashDispenserPP]89 msPassed
test[CashDispenserPP]0.14 secPassed
Install IDE / test[CodegenPP]0.13 secPassed
test[CodegenPP]0.18 secPassed
Package core / test[CodegenPP]0.18 secPassed
test[CodegenPP]0.13 secPassed
test[ConstructorReturn]6 msPassed
Install IDE / test[ConstructorReturn]6 msPassed
Package core / test[ConstructorReturn]3 msPassed
test[ConstructorReturn]3 msPassed
Install IDE / test[DiningPP]10 msPassed
test[DiningPP]10 msPassed
Package core / test[DiningPP]20 msPassed
test[DiningPP]20 msPassed
test[ElectronicPursePP]13 msPassed
Package core / test[ElectronicPursePP]20 msPassed
Install IDE / test[ElectronicPursePP]13 msPassed
test[ElectronicPursePP]20 msPassed
Package core / test[EnigmaPP]11 msPassed
test[EnigmaPP]25 msPassed
test[EnigmaPP]11 msPassed
Install IDE / test[EnigmaPP]25 msPassed
test[FactorialPP]13 msPassed
Package core / test[FactorialPP]13 msPassed
test[FactorialPP]10 msPassed
Install IDE / test[FactorialPP]10 msPassed
Package core / test[HomeAutomationConcPP]81 msPassed
test[HomeAutomationConcPP]97 msPassed
Install IDE / test[HomeAutomationConcPP]97 msPassed
test[HomeAutomationConcPP]81 msPassed
test[HomeautomationSeqPP]76 msPassed
Install IDE / test[HomeautomationSeqPP]0.2 secPassed
test[HomeautomationSeqPP]0.2 secPassed
Package core / test[HomeautomationSeqPP]76 msPassed
Install IDE / test[KLVPP]0.11 secPassed
test[KLVPP]0.11 secPassed
Package core / test[KLVPP]76 msPassed
test[KLVPP]76 msPassed
test[MSAWconcurPP]0.18 secPassed
Install IDE / test[MSAWconcurPP]0.18 secPassed
Package core / test[MSAWconcurPP]0.14 secPassed
test[MSAWconcurPP]0.14 secPassed
test[MSAWseqPP]0.14 secPassed
test[MSAWseqPP]0.22 secPassed
Install IDE / test[MSAWseqPP]0.22 secPassed
Package core / test[MSAWseqPP]0.14 secPassed
Install IDE / test[MondexPP]6 msPassed
test[MondexPP]6 msPassed
Package core / test[MondexPP]28 msPassed
test[MondexPP]28 msPassed
test[NonExistingOpCallInTrace]6 msPassed
test[NonExistingOpCallInTrace]5 msPassed
Package core / test[NonExistingOpCallInTrace]5 msPassed
Install IDE / test[NonExistingOpCallInTrace]6 msPassed
test[ObjectDesignatorInTrace]4 msPassed
test[ObjectDesignatorInTrace]3 msPassed
Install IDE / test[ObjectDesignatorInTrace]3 msPassed
Package core / test[ObjectDesignatorInTrace]4 msPassed
Package core / test[POP3PP]0.12 secPassed
Install IDE / test[POP3PP]0.11 secPassed
test[POP3PP]0.12 secPassed
test[POP3PP]0.11 secPassed
Install IDE / test[PacemakerConcPP]46 msPassed
test[PacemakerConcPP]46 msPassed
Package core / test[PacemakerConcPP]48 msPassed
test[PacemakerConcPP]48 msPassed
Package core / test[PacemakerSeqPP]70 msPassed
test[PacemakerSeqPP]70 msPassed
test[PacemakerSeqPP]41 msPassed
Install IDE / test[PacemakerSeqPP]41 msPassed
test[PacemakerSimplePP]7 msPassed
Package core / test[PacemakerSimplePP]7 msPassed
Install IDE / test[PacemakerSimplePP]5 msPassed
test[PacemakerSimplePP]5 msPassed
Install IDE / test[ProductLinePP]21 msPassed
test[ProductLinePP]21 msPassed
test[ProductLinePP]21 msPassed
Package core / test[ProductLinePP]21 msPassed
test[QuadilateralPP]0.11 secPassed
test[QuadilateralPP]0.29 secPassed
Package core / test[QuadilateralPP]0.11 secPassed
Install IDE / test[QuadilateralPP]0.29 secPassed
Install IDE / test[ReaderWriterPP]12 msPassed
Package core / test[ReaderWriterPP]18 msPassed
test[ReaderWriterPP]12 msPassed
test[ReaderWriterPP]18 msPassed
test[SAFERPP]0.24 secPassed
test[SAFERPP]0.18 secPassed
Install IDE / test[SAFERPP]0.24 secPassed
Package core / test[SAFERPP]0.18 secPassed
test[SAFERProofPP]0.14 secPassed
Package core / test[SAFERProofPP]0.14 secPassed
test[SAFERProofPP]0.14 secPassed
Install IDE / test[SAFERProofPP]0.14 secPassed
test[SubclassImplementsAbstractOp]4 msPassed
test[SubclassImplementsAbstractOp]10 msPassed
Package core / test[SubclassImplementsAbstractOp]4 msPassed
Install IDE / test[SubclassImplementsAbstractOp]10 msPassed
Install IDE / test[TracesDublicatePP]8 msPassed
Package core / test[TracesDublicatePP]2 msPassed
test[TracesDublicatePP]8 msPassed
test[TracesDublicatePP]2 msPassed
test[VFSPP]31 msPassed
test[VFSPP]18 msPassed
Package core / test[VFSPP]18 msPassed
Install IDE / test[VFSPP]31 msPassed
Package core / test[buffersPP]17 msPassed
test[buffersPP]11 msPassed
test[buffersPP]17 msPassed
Install IDE / test[buffersPP]11 msPassed
Package core / test[concfactorialPP]31 msPassed
Install IDE / test[concfactorialPP]8 msPassed
test[concfactorialPP]8 msPassed
test[concfactorialPP]31 msPassed
Package core / test[diet2japanPP]27 msPassed
test[diet2japanPP]27 msPassed
Install IDE / test[diet2japanPP]5 msPassed
test[diet2japanPP]5 msPassed
Package core / test[issue631-type-visibillity]4 msPassed
Install IDE / test[issue631-type-visibillity]2 msPassed
test[issue631-type-visibillity]4 msPassed
test[issue631-type-visibillity]2 msPassed
test[memoryproofPP]29 msPassed
Package core / test[memoryproofPP]31 msPassed
Install IDE / test[memoryproofPP]29 msPassed
test[memoryproofPP]31 msPassed
test[stackPP]3 msPassed
Install IDE / test[stackPP]3 msPassed
Package core / test[stackPP]2 msPassed
test[stackPP]2 msPassed
Package core / test[trackerproofPP]9 msPassed
test[trackerproofPP]35 msPassed
Install IDE / test[trackerproofPP]35 msPassed
test[trackerproofPP]9 msPassed
test[trayallocationPP]0.11 secPassed
Install IDE / test[trayallocationPP]0.11 secPassed
test[trayallocationPP]0.28 secPassed
Package core / test[trayallocationPP]0.28 secPassed
test[treePP]56 msPassed
test[treePP]45 msPassed
Install IDE / test[treePP]45 msPassed
Package core / test[treePP]56 msPassed
test[webserverPP]27 msPassed
test[webserverPP]9 msPassed
Install IDE / test[webserverPP]27 msPassed
Package core / test[webserverPP]9 msPassed
Package core / test[worldcupPP]89 msPassed
test[worldcupPP]89 msPassed
test[worldcupPP]0.11 secPassed
Install IDE / test[worldcupPP]0.11 secPassed