Test Result : ClassesPpTypeCheckTest

0 failures (±0)
141 tests (±0)
Took 0.98 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]0 msPassed
Package core / test[AAFirstTest]0 msPassed
Install IDE / test[AAFirstTest]1 msPassed
test[AccessModifier]0 msPassed
Install IDE / test[AccessModifier]2 msPassed
Package core / test[AccessModifier]0 msPassed
Package core / test[AlarmPP]0 msPassed
Install IDE / test[AlarmPP]6 msPassed
test[AlarmPP]0 msPassed
Install IDE / test[AlarmproofPP]5 msPassed
Package core / test[AlarmproofPP]0 msPassed
test[AlarmproofPP]0 msPassed
test[AlarmtracesPP]0 msPassed
Package core / test[AlarmtracesPP]0 msPassed
Install IDE / test[AlarmtracesPP]8 msPassed
Install IDE / test[AutopilotPP]6 msPassed
test[AutopilotPP]0 msPassed
Package core / test[AutopilotPP]0 msPassed
Install IDE / test[CMConcPP]26 msPassed
Package core / test[CMConcPP]0 msPassed
test[CMConcPP]0 msPassed
test[CMSeqPP]0 msPassed
Package core / test[CMSeqPP]0 msPassed
Install IDE / test[CMSeqPP]22 msPassed
Package core / test[CashDispenserConcPP]0 msPassed
test[CashDispenserConcPP]0 msPassed
Install IDE / test[CashDispenserConcPP]29 msPassed
Install IDE / test[CashDispenserPP]33 msPassed
test[CashDispenserPP]0 msPassed
Package core / test[CashDispenserPP]0 msPassed
test[CodegenPP]30 msPassed
Package core / test[CodegenPP]30 msPassed
Install IDE / test[CodegenPP]83 msPassed
test[ConstructorReturn]0 msPassed
Package core / test[ConstructorReturn]0 msPassed
Install IDE / test[ConstructorReturn]1 msPassed
test[DiningPP]0 msPassed
Install IDE / test[DiningPP]3 msPassed
Package core / test[DiningPP]0 msPassed
test[ElectronicPursePP]0 msPassed
Package core / test[ElectronicPursePP]0 msPassed
Install IDE / test[ElectronicPursePP]4 msPassed
Install IDE / test[EnigmaPP]9 msPassed
test[EnigmaPP]0 msPassed
Package core / test[EnigmaPP]0 msPassed
Install IDE / test[FactorialPP]0.1 secPassed
test[FactorialPP]0 msPassed
Package core / test[FactorialPP]0 msPassed
Package core / test[HomeAutomationConcPP]1 msPassed
Install IDE / test[HomeAutomationConcPP]26 msPassed
test[HomeAutomationConcPP]1 msPassed
Install IDE / test[HomeautomationSeqPP]30 msPassed
Package core / test[HomeautomationSeqPP]0 msPassed
test[HomeautomationSeqPP]0 msPassed
test[KLVPP]0 msPassed
Install IDE / test[KLVPP]18 msPassed
Package core / test[KLVPP]0 msPassed
test[MSAWconcurPP]0 msPassed
Package core / test[MSAWconcurPP]0 msPassed
Install IDE / test[MSAWconcurPP]57 msPassed
test[MSAWseqPP]0 msPassed
Install IDE / test[MSAWseqPP]67 msPassed
Package core / test[MSAWseqPP]0 msPassed
Install IDE / test[MondexPP]6 msPassed
Package core / test[MondexPP]9 msPassed
test[MondexPP]9 msPassed
test[NonExistingOpCallInTrace]0 msPassed
Install IDE / test[NonExistingOpCallInTrace]3 msPassed
Package core / test[NonExistingOpCallInTrace]0 msPassed
Install IDE / test[ObjectDesignatorInTrace]1 msPassed
test[ObjectDesignatorInTrace]0 msPassed
Package core / test[ObjectDesignatorInTrace]0 msPassed
Install IDE / test[POP3PP]27 msPassed
Package core / test[POP3PP]0 msPassed
test[POP3PP]0 msPassed
Package core / test[PacemakerConcPP]0 msPassed
Install IDE / test[PacemakerConcPP]17 msPassed
test[PacemakerConcPP]0 msPassed
Package core / test[PacemakerSeqPP]0 msPassed
test[PacemakerSeqPP]0 msPassed
Install IDE / test[PacemakerSeqPP]14 msPassed
Install IDE / test[PacemakerSimplePP]4 msPassed
Package core / test[PacemakerSimplePP]7 msPassed
test[PacemakerSimplePP]7 msPassed
Install IDE / test[ProductLinePP]8 msPassed
Package core / test[ProductLinePP]0 msPassed
test[ProductLinePP]0 msPassed
Package core / test[QuadilateralPP]0 msPassed
test[QuadilateralPP]0 msPassed
Install IDE / test[QuadilateralPP]22 msPassed
test[ReaderWriterPP]0 msPassed
Install IDE / test[ReaderWriterPP]6 msPassed
Package core / test[ReaderWriterPP]0 msPassed
test[SAFERPP]0 msPassed
Package core / test[SAFERPP]0 msPassed
Install IDE / test[SAFERPP]41 msPassed
Install IDE / test[SAFERProofPP]59 msPassed
test[SAFERProofPP]0 msPassed
Package core / test[SAFERProofPP]0 msPassed
test[SubclassImplementsAbstractOp]0 msPassed
Package core / test[SubclassImplementsAbstractOp]0 msPassed
Install IDE / test[SubclassImplementsAbstractOp]2 msPassed
test[TracesDublicatePP]0 msPassed
Package core / test[TracesDublicatePP]0 msPassed
Install IDE / test[TracesDublicatePP]1 msPassed
test[VFSPP]0 msPassed
Install IDE / test[VFSPP]8 msPassed
Package core / test[VFSPP]0 msPassed
Install IDE / test[buffersPP]3 msPassed
Package core / test[buffersPP]0 msPassed
test[buffersPP]0 msPassed
test[concfactorialPP]0 msPassed
Package core / test[concfactorialPP]0 msPassed
Install IDE / test[concfactorialPP]3 msPassed
Package core / test[diet2japanPP]11 msPassed
test[diet2japanPP]11 msPassed
Install IDE / test[diet2japanPP]4 msPassed
Package core / test[issue631-type-visibillity]0 msPassed
test[issue631-type-visibillity]0 msPassed
Install IDE / test[issue631-type-visibillity]1 msPassed
test[memoryproofPP]0 msPassed
Install IDE / test[memoryproofPP]6 msPassed
Package core / test[memoryproofPP]0 msPassed
Install IDE / test[stackPP]2 msPassed
Package core / test[stackPP]4 msPassed
test[stackPP]4 msPassed
test[trackerproofPP]0 msPassed
Package core / test[trackerproofPP]0 msPassed
Install IDE / test[trackerproofPP]6 msPassed
Install IDE / test[trayallocationPP]32 msPassed
test[trayallocationPP]0 msPassed
Package core / test[trayallocationPP]0 msPassed
Package core / test[treePP]0 msPassed
Install IDE / test[treePP]12 msPassed
test[treePP]0 msPassed
test[webserverPP]0 msPassed
Install IDE / test[webserverPP]5 msPassed
Package core / test[webserverPP]0 msPassed
Install IDE / test[worldcupPP]33 msPassed
Package core / test[worldcupPP]0 msPassed
test[worldcupPP]0 msPassed