Package core / test[ACSSL] | 53 ms | Passed |
test[ACSSL] | 53 ms | Passed |
Install IDE / test[ACSSL] | 52 ms | Passed |
test[ADTSL] | 0.17 sec | Passed |
Install IDE / test[ADTSL] | 0.32 sec | Passed |
Package core / test[ADTSL] | 0.17 sec | Passed |
test[ATCSL] | 0.17 sec | Passed |
Install IDE / test[ATCSL] | 72 ms | Passed |
Package core / test[ATCSL] | 0.17 sec | Passed |
Install IDE / test[AlarmSL] | 9 ms | Passed |
Package core / test[AlarmSL] | 9 ms | Passed |
test[AlarmSL] | 9 ms | Passed |
Install IDE / test[BOMSL] | 5 ms | Passed |
Package core / test[BOMSL] | 6 ms | Passed |
test[BOMSL] | 6 ms | Passed |
Package core / test[CMSL] | 11 ms | Passed |
Install IDE / test[CMSL] | 14 ms | Passed |
test[CMSL] | 11 ms | Passed |
test[CountryColouringSL] | 12 ms | Passed |
Install IDE / test[CountryColouringSL] | 4 ms | Passed |
Package core / test[CountryColouringSL] | 12 ms | Passed |
Package core / test[DFDexampleSL] | 90 ms | Passed |
Install IDE / test[DFDexampleSL] | 95 ms | Passed |
test[DFDexampleSL] | 90 ms | Passed |
test[DigraphSL] | 22 ms | Passed |
Package core / test[DigraphSL] | 22 ms | Passed |
Install IDE / test[DigraphSL] | 15 ms | Passed |
Install IDE / test[EngineSL] | 9 ms | Passed |
Package core / test[EngineSL] | 8 ms | Passed |
test[EngineSL] | 8 ms | Passed |
test[LUPSLSL] | 14 ms | Passed |
Install IDE / test[LUPSLSL] | 10 ms | Passed |
Package core / test[LUPSLSL] | 14 ms | Passed |
test[Lambda-issue496] | 2 ms | Passed |
Package core / test[Lambda-issue496] | 2 ms | Passed |
Install IDE / test[Lambda-issue496] | 1 ms | Passed |
Install IDE / test[MAASL] | 24 ms | Passed |
test[MAASL] | 37 ms | Passed |
Package core / test[MAASL] | 37 ms | Passed |
Package core / test[NDBSL] | 10 ms | Passed |
Install IDE / test[NDBSL] | 9 ms | Passed |
test[NDBSL] | 10 ms | Passed |
Install IDE / test[PlannerSL] | 12 ms | Passed |
test[PlannerSL] | 20 ms | Passed |
Package core / test[PlannerSL] | 20 ms | Passed |
Package core / test[ProgLangSL] | 27 ms | Passed |
Install IDE / test[ProgLangSL] | 37 ms | Passed |
test[ProgLangSL] | 27 ms | Passed |
test[RM39SL] | 64 ms | Passed |
Package core / test[RM39SL] | 64 ms | Passed |
Install IDE / test[RM39SL] | 67 ms | Passed |
Package core / test[SAFERSL] | 66 ms | Passed |
Install IDE / test[SAFERSL] | 41 ms | Passed |
test[SAFERSL] | 66 ms | Passed |
Install IDE / test[STVSL] | 48 ms | Passed |
Package core / test[STVSL] | 0.11 sec | Passed |
test[STVSL] | 0.11 sec | Passed |
test[SeqLoop] | 2 ms | Passed |
Package core / test[SeqLoop] | 2 ms | Passed |
Install IDE / test[SeqLoop] | 1 ms | Passed |
Package core / test[TrackerSL] | 8 ms | Passed |
test[TrackerSL] | 8 ms | Passed |
Install IDE / test[TrackerSL] | 7 ms | Passed |
Install IDE / test[barSL] | 20 ms | Passed |
Package core / test[barSL] | 20 ms | Passed |
test[barSL] | 20 ms | Passed |
Package core / test[cashdispenserSL] | 9 ms | Passed |
Install IDE / test[cashdispenserSL] | 14 ms | Passed |
test[cashdispenserSL] | 9 ms | Passed |
test[crosswordSL] | 15 ms | Passed |
Package core / test[crosswordSL] | 15 ms | Passed |
Install IDE / test[crosswordSL] | 24 ms | Passed |
Install IDE / test[dwarfSL] | 18 ms | Passed |
Package core / test[dwarfSL] | 12 ms | Passed |
test[dwarfSL] | 12 ms | Passed |
test[eq_rel] | 1 ms | Passed |
Package core / test[eq_rel] | 1 ms | Passed |
Install IDE / test[eq_rel] | 1 ms | Passed |
Install IDE / test[eq_rel_func] | 1 ms | Passed |
Package core / test[eq_rel_func] | 2 ms | Passed |
test[eq_rel_func] | 2 ms | Passed |
test[eq_rel_missing_func] | 2 ms | Passed |
Package core / test[eq_rel_missing_func] | 2 ms | Passed |
Install IDE / test[eq_rel_missing_func] | 1 ms | Passed |
Install IDE / test[eq_rel_no_usage] | 1 ms | Passed |
Package core / test[eq_rel_no_usage] | 0 ms | Passed |
test[eq_rel_no_usage] | 0 ms | Passed |
Install IDE / test[eq_rel_not_bool] | 1 ms | Passed |
test[eq_rel_not_bool] | 1 ms | Passed |
Package core / test[eq_rel_not_bool] | 1 ms | Passed |
Package core / test[eq_rel_usage] | 2 ms | Passed |
test[eq_rel_usage] | 2 ms | Passed |
Install IDE / test[eq_rel_usage] | 1 ms | Passed |
Install IDE / test[expressSL] | 14 ms | Passed |
Package core / test[expressSL] | 45 ms | Passed |
test[expressSL] | 45 ms | Passed |
Package core / test[gatewaySL] | 5 ms | Passed |
Install IDE / test[gatewaySL] | 4 ms | Passed |
test[gatewaySL] | 5 ms | Passed |
Install IDE / test[graphedSL] | 48 ms | Passed |
Package core / test[graphedSL] | 63 ms | Passed |
test[graphedSL] | 63 ms | Passed |
Package core / test[hotelSL] | 10 ms | Passed |
Install IDE / test[hotelSL] | 15 ms | Passed |
test[hotelSL] | 10 ms | Passed |
test[issue194] | 3 ms | Passed |
Package core / test[issue194] | 3 ms | Passed |
Install IDE / test[issue194] | 2 ms | Passed |
Package core / test[librarySL] | 47 ms | Passed |
Install IDE / test[librarySL] | 38 ms | Passed |
test[librarySL] | 47 ms | Passed |
Install IDE / test[looseSL] | 69 ms | Passed |
Package core / test[looseSL] | 45 ms | Passed |
test[looseSL] | 45 ms | Passed |
test[metroSL] | 9 ms | Passed |
Package core / test[metroSL] | 9 ms | Passed |
Install IDE / test[metroSL] | 10 ms | Passed |
Install IDE / test[monitorSL] | 2 ms | Passed |
Package core / test[monitorSL] | 6 ms | Passed |
test[monitorSL] | 6 ms | Passed |
Package core / test[newspeakSL] | 1.5 sec | Passed |
Install IDE / test[newspeakSL] | 1.7 sec | Passed |
test[newspeakSL] | 1.5 sec | Passed |
Install IDE / test[ord_rel] | 2 ms | Passed |
Package core / test[ord_rel] | 3 ms | Passed |
test[ord_rel] | 3 ms | Passed |
test[ord_rel_func] | 2 ms | Passed |
Package core / test[ord_rel_func] | 2 ms | Passed |
Install IDE / test[ord_rel_func] | 1 ms | Passed |
Install IDE / test[ord_rel_missing_func] | 1 ms | Passed |
test[ord_rel_missing_func] | 2 ms | Passed |
Package core / test[ord_rel_missing_func] | 2 ms | Passed |
test[ord_rel_no_usage] | 2 ms | Passed |
Install IDE / test[ord_rel_no_usage] | 1 ms | Passed |
Package core / test[ord_rel_no_usage] | 2 ms | Passed |
Install IDE / test[ord_rel_no_usage_max] | 1 ms | Passed |
test[ord_rel_no_usage_max] | 1 ms | Passed |
Package core / test[ord_rel_no_usage_max] | 1 ms | Passed |
Install IDE / test[ord_rel_no_usage_min] | 1 ms | Passed |
test[ord_rel_no_usage_min] | 2 ms | Passed |
Package core / test[ord_rel_no_usage_min] | 2 ms | Passed |
Install IDE / test[ord_rel_not_bool] | 1 ms | Passed |
Package core / test[ord_rel_not_bool] | 1 ms | Passed |
test[ord_rel_not_bool] | 1 ms | Passed |
test[ord_rel_usage] | 2 ms | Passed |
Install IDE / test[ord_rel_usage] | 1 ms | Passed |
Package core / test[ord_rel_usage] | 2 ms | Passed |
test[ord_rel_usage_max] | 2 ms | Passed |
Install IDE / test[ord_rel_usage_max] | 1 ms | Passed |
Package core / test[ord_rel_usage_max] | 2 ms | Passed |
Install IDE / test[ord_rel_usage_min] | 1 ms | Passed |
test[ord_rel_usage_min] | 0 ms | Passed |
Package core / test[ord_rel_usage_min] | 0 ms | Passed |
test[pacemakerSL] | 51 ms | Passed |
Install IDE / test[pacemakerSL] | 19 ms | Passed |
Package core / test[pacemakerSL] | 51 ms | Passed |
Package core / test[pureop_assert_invoke_impure] | 1 ms | Passed |
Install IDE / test[pureop_assert_invoke_impure] | 1 ms | Passed |
test[pureop_assert_invoke_impure] | 1 ms | Passed |
Package core / test[pureop_assert_invoke_pure] | 2 ms | Passed |
Install IDE / test[pureop_assert_invoke_pure] | 1 ms | Passed |
test[pureop_assert_invoke_pure] | 2 ms | Passed |
test[pureop_assigns] | 2 ms | Passed |
Install IDE / test[pureop_assigns] | 1 ms | Passed |
Package core / test[pureop_assigns] | 2 ms | Passed |
Install IDE / test[pureop_func_invokes_pure] | 2 ms | Passed |
Package core / test[pureop_func_invokes_pure] | 2 ms | Passed |
test[pureop_func_invokes_pure] | 2 ms | Passed |
test[pureop_no_assigns] | 2 ms | Passed |
Install IDE / test[pureop_no_assigns] | 1 ms | Passed |
Package core / test[pureop_no_assigns] | 2 ms | Passed |
Package core / test[pureop_pure_invoke_impure] | 1 ms | Passed |
Install IDE / test[pureop_pure_invoke_impure] | 1 ms | Passed |
test[pureop_pure_invoke_impure] | 1 ms | Passed |
Package core / test[pureop_pure_invoke_pure] | 2 ms | Passed |
test[pureop_pure_invoke_pure] | 2 ms | Passed |
Install IDE / test[pureop_pure_invoke_pure] | 1 ms | Passed |
Package core / test[raildirSL] | 94 ms | Passed |
test[raildirSL] | 94 ms | Passed |
Install IDE / test[raildirSL] | 47 ms | Passed |
test[realmSL] | 48 ms | Passed |
Install IDE / test[realmSL] | 49 ms | Passed |
Package core / test[realmSL] | 48 ms | Passed |
Package core / test[recursiveSL] | 10 ms | Passed |
test[recursiveSL] | 10 ms | Passed |
Install IDE / test[recursiveSL] | 9 ms | Passed |
Package core / test[seqbindings] | 2 ms | Passed |
test[seqbindings] | 2 ms | Passed |
Install IDE / test[seqbindings] | 3 ms | Passed |
test[set1_illegal_value] | 2 ms | Passed |
Install IDE / test[set1_illegal_value] | 2 ms | Passed |
Package core / test[set1_illegal_value] | 2 ms | Passed |
Install IDE / test[shmemSL] | 12 ms | Passed |
test[shmemSL] | 12 ms | Passed |
Package core / test[shmemSL] | 12 ms | Passed |
Install IDE / test[simpleExportImportTypes] | 2 ms | Passed |
test[simpleExportImportTypes] | 3 ms | Passed |
Package core / test[simpleExportImportTypes] | 3 ms | Passed |
test[simpleExportImport] | 5 ms | Passed |
Install IDE / test[simpleExportImport] | 3 ms | Passed |
Package core / test[simpleExportImport] | 5 ms | Passed |
Package core / test[simulatorSL] | 0.1 sec | Passed |
test[simulatorSL] | 0.1 sec | Passed |
Install IDE / test[simulatorSL] | 77 ms | Passed |
test[soccerSL] | 13 ms | Passed |
Package core / test[soccerSL] | 13 ms | Passed |
Install IDE / test[soccerSL] | 13 ms | Passed |
test[telephoneSL] | 6 ms | Passed |
Package core / test[telephoneSL] | 6 ms | Passed |
Install IDE / test[telephoneSL] | 6 ms | Passed |
test[test1] | 1 ms | Passed |
Install IDE / test[test1] | 1 ms | Passed |
Package core / test[test1] | 1 ms | Passed |
Package core / test[test2] | 1 ms | Passed |
test[test2] | 1 ms | Passed |
Install IDE / test[test2] | 1 ms | Passed |
Install IDE / test[trafficSL] | 5 ms | Passed |
Package core / test[trafficSL] | 11 ms | Passed |
test[trafficSL] | 11 ms | Passed |