Install IDE / test[AAFirstTest] | 1 ms | Passed |
Package core / test[AAFirstTest] | 2 ms | Passed |
test[AAFirstTest] | 2 ms | Passed |
Package core / test[AccessModifier] | 6 ms | Passed |
test[AccessModifier] | 6 ms | Passed |
Install IDE / test[AccessModifier] | 2 ms | Passed |
Package core / test[AlarmPP] | 12 ms | Passed |
Install IDE / test[AlarmPP] | 5 ms | Passed |
test[AlarmPP] | 12 ms | Passed |
test[AlarmproofPP] | 14 ms | Passed |
Package core / test[AlarmproofPP] | 14 ms | Passed |
Install IDE / test[AlarmproofPP] | 4 ms | Passed |
Install IDE / test[AlarmtracesPP] | 7 ms | Passed |
test[AlarmtracesPP] | 24 ms | Passed |
Package core / test[AlarmtracesPP] | 24 ms | Passed |
Package core / test[AutopilotPP] | 5 ms | Passed |
Install IDE / test[AutopilotPP] | 5 ms | Passed |
test[AutopilotPP] | 5 ms | Passed |
Package core / test[CMConcPP] | 69 ms | Passed |
Install IDE / test[CMConcPP] | 25 ms | Passed |
test[CMConcPP] | 69 ms | Passed |
test[CMSeqPP] | 30 ms | Passed |
Package core / test[CMSeqPP] | 30 ms | Passed |
Install IDE / test[CMSeqPP] | 22 ms | Passed |
test[CashDispenserConcPP] | 36 ms | Passed |
Package core / test[CashDispenserConcPP] | 36 ms | Passed |
Install IDE / test[CashDispenserConcPP] | 29 ms | Passed |
test[CashDispenserPP] | 52 ms | Passed |
Install IDE / test[CashDispenserPP] | 30 ms | Passed |
Package core / test[CashDispenserPP] | 52 ms | Passed |
Install IDE / test[CodegenPP] | 84 ms | Passed |
Package core / test[CodegenPP] | 0.1 sec | Passed |
test[CodegenPP] | 0.1 sec | Passed |
test[ConstructorReturn] | 4 ms | Passed |
Package core / test[ConstructorReturn] | 4 ms | Passed |
Install IDE / test[ConstructorReturn] | 1 ms | Passed |
test[DiningPP] | 6 ms | Passed |
Package core / test[DiningPP] | 6 ms | Passed |
Install IDE / test[DiningPP] | 3 ms | Passed |
Package core / test[ElectronicPursePP] | 10 ms | Passed |
test[ElectronicPursePP] | 10 ms | Passed |
Install IDE / test[ElectronicPursePP] | 3 ms | Passed |
Install IDE / test[EnigmaPP] | 9 ms | Passed |
Package core / test[EnigmaPP] | 14 ms | Passed |
test[EnigmaPP] | 14 ms | Passed |
Install IDE / test[FactorialPP] | 4 ms | Passed |
Package core / test[FactorialPP] | 8 ms | Passed |
test[FactorialPP] | 8 ms | Passed |
Package core / test[HomeAutomationConcPP] | 44 ms | Passed |
test[HomeAutomationConcPP] | 44 ms | Passed |
Install IDE / test[HomeAutomationConcPP] | 25 ms | Passed |
Package core / test[HomeautomationSeqPP] | 38 ms | Passed |
Install IDE / test[HomeautomationSeqPP] | 31 ms | Passed |
test[HomeautomationSeqPP] | 38 ms | Passed |
test[KLVPP] | 29 ms | Passed |
Package core / test[KLVPP] | 29 ms | Passed |
Install IDE / test[KLVPP] | 16 ms | Passed |
test[MSAWconcurPP] | 81 ms | Passed |
Install IDE / test[MSAWconcurPP] | 62 ms | Passed |
Package core / test[MSAWconcurPP] | 81 ms | Passed |
Package core / test[MSAWseqPP] | 81 ms | Passed |
Install IDE / test[MSAWseqPP] | 50 ms | Passed |
test[MSAWseqPP] | 81 ms | Passed |
Install IDE / test[MondexPP] | 6 ms | Passed |
test[MondexPP] | 9 ms | Passed |
Package core / test[MondexPP] | 9 ms | Passed |
Package core / test[NonExistingOpCallInTrace] | 4 ms | Passed |
test[NonExistingOpCallInTrace] | 4 ms | Passed |
Install IDE / test[NonExistingOpCallInTrace] | 3 ms | Passed |
test[ObjectDesignatorInTrace] | 3 ms | Passed |
Install IDE / test[ObjectDesignatorInTrace] | 1 ms | Passed |
Package core / test[ObjectDesignatorInTrace] | 3 ms | Passed |
Package core / test[POP3PP] | 54 ms | Passed |
test[POP3PP] | 54 ms | Passed |
Install IDE / test[POP3PP] | 27 ms | Passed |
Install IDE / test[PacemakerConcPP] | 18 ms | Passed |
Package core / test[PacemakerConcPP] | 26 ms | Passed |
test[PacemakerConcPP] | 26 ms | Passed |
test[PacemakerSeqPP] | 43 ms | Passed |
Package core / test[PacemakerSeqPP] | 43 ms | Passed |
Install IDE / test[PacemakerSeqPP] | 16 ms | Passed |
Package core / test[PacemakerSimplePP] | 8 ms | Passed |
test[PacemakerSimplePP] | 8 ms | Passed |
Install IDE / test[PacemakerSimplePP] | 5 ms | Passed |
test[ProductLinePP] | 12 ms | Passed |
Install IDE / test[ProductLinePP] | 8 ms | Passed |
Package core / test[ProductLinePP] | 12 ms | Passed |
Package core / test[QuadilateralPP] | 72 ms | Passed |
Install IDE / test[QuadilateralPP] | 20 ms | Passed |
test[QuadilateralPP] | 72 ms | Passed |
test[ReaderWriterPP] | 17 ms | Passed |
Package core / test[ReaderWriterPP] | 17 ms | Passed |
Install IDE / test[ReaderWriterPP] | 5 ms | Passed |
Package core / test[SAFERPP] | 0.14 sec | Passed |
Install IDE / test[SAFERPP] | 44 ms | Passed |
test[SAFERPP] | 0.14 sec | Passed |
test[SAFERProofPP] | 94 ms | Passed |
Package core / test[SAFERProofPP] | 94 ms | Passed |
Install IDE / test[SAFERProofPP] | 0.1 sec | Passed |
Package core / test[SubclassImplementsAbstractOp] | 4 ms | Passed |
Install IDE / test[SubclassImplementsAbstractOp] | 2 ms | Passed |
test[SubclassImplementsAbstractOp] | 4 ms | Passed |
Package core / test[TracesDublicatePP] | 3 ms | Passed |
test[TracesDublicatePP] | 3 ms | Passed |
Install IDE / test[TracesDublicatePP] | 1 ms | Passed |
test[VFSPP] | 23 ms | Passed |
Package core / test[VFSPP] | 23 ms | Passed |
Install IDE / test[VFSPP] | 8 ms | Passed |
test[buffersPP] | 5 ms | Passed |
Package core / test[buffersPP] | 5 ms | Passed |
Install IDE / test[buffersPP] | 4 ms | Passed |
test[concfactorialPP] | 8 ms | Passed |
Package core / test[concfactorialPP] | 8 ms | Passed |
Install IDE / test[concfactorialPP] | 3 ms | Passed |
Install IDE / test[diet2japanPP] | 2 ms | Passed |
Package core / test[diet2japanPP] | 9 ms | Passed |
test[diet2japanPP] | 9 ms | Passed |
Install IDE / test[issue631-type-visibillity] | 1 ms | Passed |
Package core / test[issue631-type-visibillity] | 2 ms | Passed |
test[issue631-type-visibillity] | 2 ms | Passed |
Install IDE / test[memoryproofPP] | 6 ms | Passed |
test[memoryproofPP] | 13 ms | Passed |
Package core / test[memoryproofPP] | 13 ms | Passed |
Package core / test[stackPP] | 5 ms | Passed |
Install IDE / test[stackPP] | 2 ms | Passed |
test[stackPP] | 5 ms | Passed |
Package core / test[trackerproofPP] | 10 ms | Passed |
test[trackerproofPP] | 10 ms | Passed |
Install IDE / test[trackerproofPP] | 5 ms | Passed |
Package core / test[trayallocationPP] | 0.1 sec | Passed |
test[trayallocationPP] | 0.1 sec | Passed |
Install IDE / test[trayallocationPP] | 33 ms | Passed |
Package core / test[treePP] | 23 ms | Passed |
Install IDE / test[treePP] | 11 ms | Passed |
test[treePP] | 23 ms | Passed |
Package core / test[webserverPP] | 11 ms | Passed |
Install IDE / test[webserverPP] | 5 ms | Passed |
test[webserverPP] | 11 ms | Passed |
test[worldcupPP] | 73 ms | Passed |
Package core / test[worldcupPP] | 73 ms | Passed |
Install IDE / test[worldcupPP] | 53 ms | Passed |