Test Result : ClassesPpTypeCheckTest

0 failures
47 tests
Took 2.3 sec.

All Tests

Test nameDurationStatus
test[AAFirstTest]2 msPassed
test[AccessModifier]2 msPassed
test[AlarmPP]6 msPassed
test[AlarmproofPP]16 msPassed
test[AlarmtracesPP]8 msPassed
test[AutopilotPP]20 msPassed
test[CMConcPP]58 msPassed
test[CMSeqPP]64 msPassed
test[CashDispenserConcPP]79 msPassed
test[CashDispenserPP]81 msPassed
test[CodegenPP]0.18 secPassed
test[ConstructorReturn]2 msPassed
test[DiningPP]4 msPassed
test[ElectronicPursePP]4 msPassed
test[EnigmaPP]29 msPassed
test[FactorialPP]16 msPassed
test[HomeAutomationConcPP]87 msPassed
test[HomeautomationSeqPP]57 msPassed
test[KLVPP]55 msPassed
test[MSAWconcurPP]0.27 secPassed
test[MSAWseqPP]0.15 secPassed
test[MondexPP]33 msPassed
test[NonExistingOpCallInTrace]3 msPassed
test[ObjectDesignatorInTrace]1 msPassed
test[POP3PP]87 msPassed
test[PacemakerConcPP]59 msPassed
test[PacemakerSeqPP]23 msPassed
test[PacemakerSimplePP]4 msPassed
test[ProductLinePP]9 msPassed
test[QuadilateralPP]59 msPassed
test[ReaderWriterPP]14 msPassed
test[SAFERPP]0.1 secPassed
test[SAFERProofPP]0.31 secPassed
test[SubclassImplementsAbstractOp]1 msPassed
test[TracesDublicatePP]1 msPassed
test[VFSPP]42 msPassed
test[buffersPP]16 msPassed
test[concfactorialPP]18 msPassed
test[diet2japanPP]14 msPassed
test[issue631-type-visibillity]0 msPassed
test[memoryproofPP]30 msPassed
test[stackPP]3 msPassed
test[trackerproofPP]14 msPassed
test[trayallocationPP]0.1 secPassed
test[treePP]36 msPassed
test[webserverPP]21 msPassed
test[worldcupPP]0.18 secPassed