Test Result : ModulesSlTypeCheckTest

0 failures (±0)
219 tests (+146)
Took 10 sec.

All Tests

Test nameDurationStatus
Package core / test[ACSSL]0.12 secPassed
Install IDE / test[ACSSL]42 msPassed
test[ACSSL]0.12 secPassed
Package core / test[ADTSL]0.15 secPassed
test[ADTSL]0.15 secPassed
Install IDE / test[ADTSL]0.13 secPassed
test[ATCSL]94 msPassed
Package core / test[ATCSL]94 msPassed
Install IDE / test[ATCSL]0.24 secPassed
Install IDE / test[AlarmSL]7 msPassed
test[AlarmSL]11 msPassed
Package core / test[AlarmSL]11 msPassed
test[BOMSL]7 msPassed
Install IDE / test[BOMSL]4 msPassed
Package core / test[BOMSL]7 msPassed
test[CMSL]10 msPassed
Package core / test[CMSL]10 msPassed
Install IDE / test[CMSL]7 msPassed
test[CountryColouringSL]8 msPassed
Install IDE / test[CountryColouringSL]21 msPassed
Package core / test[CountryColouringSL]8 msPassed
test[DFDexampleSL]98 msPassed
Install IDE / test[DFDexampleSL]77 msPassed
Package core / test[DFDexampleSL]98 msPassed
test[DigraphSL]21 msPassed
Install IDE / test[DigraphSL]19 msPassed
Package core / test[DigraphSL]21 msPassed
test[EngineSL]10 msPassed
Package core / test[EngineSL]10 msPassed
Install IDE / test[EngineSL]6 msPassed
Install IDE / test[LUPSLSL]9 msPassed
test[LUPSLSL]12 msPassed
Package core / test[LUPSLSL]12 msPassed
Install IDE / test[Lambda-issue496]1 msPassed
test[Lambda-issue496]2 msPassed
Package core / test[Lambda-issue496]2 msPassed
test[MAASL]33 msPassed
Install IDE / test[MAASL]82 msPassed
Package core / test[MAASL]33 msPassed
test[NDBSL]9 msPassed
Install IDE / test[NDBSL]7 msPassed
Package core / test[NDBSL]9 msPassed
Install IDE / test[PlannerSL]13 msPassed
test[PlannerSL]19 msPassed
Package core / test[PlannerSL]19 msPassed
test[ProgLangSL]27 msPassed
Package core / test[ProgLangSL]27 msPassed
Install IDE / test[ProgLangSL]21 msPassed
test[RM39SL]62 msPassed
Package core / test[RM39SL]62 msPassed
Install IDE / test[RM39SL]44 msPassed
test[SAFERSL]54 msPassed
Package core / test[SAFERSL]54 msPassed
Install IDE / test[SAFERSL]0.14 secPassed
Package core / test[STVSL]77 msPassed
Install IDE / test[STVSL]0.1 secPassed
test[STVSL]77 msPassed
Install IDE / test[SeqLoop]2 msPassed
test[SeqLoop]2 msPassed
Package core / test[SeqLoop]2 msPassed
Install IDE / test[TrackerSL]6 msPassed
test[TrackerSL]9 msPassed
Package core / test[TrackerSL]9 msPassed
test[barSL]26 msPassed
Install IDE / test[barSL]15 msPassed
Package core / test[barSL]26 msPassed
Package core / test[cashdispenserSL]9 msPassed
test[cashdispenserSL]9 msPassed
Install IDE / test[cashdispenserSL]7 msPassed
Install IDE / test[crosswordSL]12 msPassed
test[crosswordSL]16 msPassed
Package core / test[crosswordSL]16 msPassed
Package core / test[dwarfSL]11 msPassed
test[dwarfSL]11 msPassed
Install IDE / test[dwarfSL]7 msPassed
Install IDE / test[eq_rel]1 msPassed
test[eq_rel]2 msPassed
Package core / test[eq_rel]2 msPassed
test[eq_rel_func]2 msPassed
Package core / test[eq_rel_func]2 msPassed
Install IDE / test[eq_rel_func]1 msPassed
Install IDE / test[eq_rel_missing_func]1 msPassed
Package core / test[eq_rel_missing_func]2 msPassed
test[eq_rel_missing_func]2 msPassed
test[eq_rel_no_usage]1 msPassed
Package core / test[eq_rel_no_usage]1 msPassed
Install IDE / test[eq_rel_no_usage]1 msPassed
Package core / test[eq_rel_not_bool]1 msPassed
test[eq_rel_not_bool]1 msPassed
Install IDE / test[eq_rel_not_bool]0 msPassed
test[eq_rel_usage]1 msPassed
Install IDE / test[eq_rel_usage]1 msPassed
Package core / test[eq_rel_usage]1 msPassed
Install IDE / test[expressSL]13 msPassed
test[expressSL]44 msPassed
Package core / test[expressSL]44 msPassed
Install IDE / test[gatewaySL]3 msPassed
Package core / test[gatewaySL]5 msPassed
test[gatewaySL]5 msPassed
test[graphedSL]60 msPassed
Install IDE / test[graphedSL]74 msPassed
Package core / test[graphedSL]60 msPassed
test[hotelSL]10 msPassed
Install IDE / test[hotelSL]7 msPassed
Package core / test[hotelSL]10 msPassed
Install IDE / test[issue194]2 msPassed
test[issue194]4 msPassed
Package core / test[issue194]4 msPassed
Install IDE / test[librarySL]34 msPassed
Package core / test[librarySL]44 msPassed
test[librarySL]44 msPassed
Package core / test[looseSL]42 msPassed
Install IDE / test[looseSL]0.12 secPassed
test[looseSL]42 msPassed
test[metroSL]8 msPassed
Package core / test[metroSL]8 msPassed
Install IDE / test[metroSL]7 msPassed
Package core / test[monitorSL]4 msPassed
test[monitorSL]4 msPassed
Install IDE / test[monitorSL]7 msPassed
test[newspeakSL]2 secPassed
Install IDE / test[newspeakSL]0.97 secPassed
Package core / test[newspeakSL]2 secPassed
test[ord_rel]3 msPassed
Package core / test[ord_rel]3 msPassed
Install IDE / test[ord_rel]2 msPassed
Install IDE / test[ord_rel_func]1 msPassed
Package core / test[ord_rel_func]2 msPassed
test[ord_rel_func]2 msPassed
Install IDE / test[ord_rel_missing_func]1 msPassed
Package core / test[ord_rel_missing_func]2 msPassed
test[ord_rel_missing_func]2 msPassed
Install IDE / test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage]2 msPassed
Package core / test[ord_rel_no_usage]2 msPassed
Package core / test[ord_rel_no_usage_max]1 msPassed
Install IDE / test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_min]2 msPassed
Install IDE / test[ord_rel_no_usage_min]0 msPassed
Package core / test[ord_rel_no_usage_min]2 msPassed
Package core / test[ord_rel_not_bool]2 msPassed
Install IDE / test[ord_rel_not_bool]1 msPassed
test[ord_rel_not_bool]2 msPassed
Package core / test[ord_rel_usage]2 msPassed
Install IDE / test[ord_rel_usage]1 msPassed
test[ord_rel_usage]2 msPassed
Install IDE / test[ord_rel_usage_max]1 msPassed
Package core / test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_max]1 msPassed
Package core / test[ord_rel_usage_min]1 msPassed
Install IDE / test[ord_rel_usage_min]1 msPassed
test[ord_rel_usage_min]1 msPassed
Install IDE / test[pacemakerSL]12 msPassed
test[pacemakerSL]27 msPassed
Package core / test[pacemakerSL]27 msPassed
test[pureop_assert_invoke_impure]2 msPassed
Package core / test[pureop_assert_invoke_impure]2 msPassed
Install IDE / test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_pure]2 msPassed
Install IDE / test[pureop_assert_invoke_pure]1 msPassed
Package core / test[pureop_assert_invoke_pure]2 msPassed
Package core / test[pureop_assigns]2 msPassed
Install IDE / test[pureop_assigns]1 msPassed
test[pureop_assigns]2 msPassed
Install IDE / test[pureop_func_invokes_pure]1 msPassed
Package core / test[pureop_func_invokes_pure]2 msPassed
test[pureop_func_invokes_pure]2 msPassed
test[pureop_no_assigns]2 msPassed
Install IDE / test[pureop_no_assigns]1 msPassed
Package core / test[pureop_no_assigns]2 msPassed
Package core / test[pureop_pure_invoke_impure]2 msPassed
Install IDE / test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_impure]2 msPassed
Package core / test[pureop_pure_invoke_pure]2 msPassed
Install IDE / test[pureop_pure_invoke_pure]1 msPassed
test[pureop_pure_invoke_pure]2 msPassed
Package core / test[raildirSL]89 msPassed
Install IDE / test[raildirSL]46 msPassed
test[raildirSL]89 msPassed
test[realmSL]55 msPassed
Install IDE / test[realmSL]44 msPassed
Package core / test[realmSL]55 msPassed
Install IDE / test[recursiveSL]6 msPassed
Package core / test[recursiveSL]9 msPassed
test[recursiveSL]9 msPassed
Install IDE / test[seqbindings]1 msPassed
test[seqbindings]3 msPassed
Package core / test[seqbindings]3 msPassed
test[set1_illegal_value]2 msPassed
Package core / test[set1_illegal_value]2 msPassed
Install IDE / test[set1_illegal_value]0 msPassed
test[shmemSL]14 msPassed
Install IDE / test[shmemSL]9 msPassed
Package core / test[shmemSL]14 msPassed
Package core / test[simpleExportImportTypes]2 msPassed
Install IDE / test[simpleExportImportTypes]2 msPassed
test[simpleExportImportTypes]2 msPassed
Package core / test[simpleExportImport]5 msPassed
test[simpleExportImport]5 msPassed
Install IDE / test[simpleExportImport]0 msPassed
Package core / test[simulatorSL]90 msPassed
test[simulatorSL]90 msPassed
Install IDE / test[simulatorSL]0.84 secPassed
Install IDE / test[soccerSL]10 msPassed
Package core / test[soccerSL]15 msPassed
test[soccerSL]15 msPassed
test[telephoneSL]7 msPassed
Package core / test[telephoneSL]7 msPassed
Install IDE / test[telephoneSL]5 msPassed
test[test1]1 msPassed
Package core / test[test1]1 msPassed
Install IDE / test[test1]1 msPassed
Install IDE / test[test2]0 msPassed
Package core / test[test2]2 msPassed
test[test2]2 msPassed
Install IDE / test[trafficSL]5 msPassed
test[trafficSL]72 msPassed
Package core / test[trafficSL]72 msPassed