Test Result : ModulesSlTypeCheckTest

0 failures
292 tests
Took 30 sec.

All Tests

Test nameDurationStatus
test[ACSSL]96 msPassed
Install IDE / test[ACSSL]77 msPassed
Package core / test[ACSSL]96 msPassed
test[ACSSL]77 msPassed
test[ADTSL]0.23 secPassed
Install IDE / test[ADTSL]0.23 secPassed
Package core / test[ADTSL]0.27 secPassed
test[ADTSL]0.27 secPassed
test[ATCSL]0.37 secPassed
test[ATCSL]0.21 secPassed
Install IDE / test[ATCSL]0.21 secPassed
Package core / test[ATCSL]0.37 secPassed
Install IDE / test[AlarmSL]14 msPassed
test[AlarmSL]14 msPassed
Package core / test[AlarmSL]11 msPassed
test[AlarmSL]11 msPassed
test[BOMSL]28 msPassed
Package core / test[BOMSL]9 msPassed
Install IDE / test[BOMSL]28 msPassed
test[BOMSL]9 msPassed
test[CMSL]10 msPassed
Install IDE / test[CMSL]0.14 secPassed
test[CMSL]0.14 secPassed
Package core / test[CMSL]10 msPassed
Package core / test[CountryColouringSL]7 msPassed
Install IDE / test[CountryColouringSL]17 msPassed
test[CountryColouringSL]17 msPassed
test[CountryColouringSL]7 msPassed
Package core / test[DFDexampleSL]0.15 secPassed
test[DFDexampleSL]0.16 secPassed
test[DFDexampleSL]0.15 secPassed
Install IDE / test[DFDexampleSL]0.16 secPassed
test[DigraphSL]54 msPassed
Install IDE / test[DigraphSL]59 msPassed
Package core / test[DigraphSL]54 msPassed
test[DigraphSL]59 msPassed
Install IDE / test[EngineSL]10 msPassed
test[EngineSL]10 msPassed
test[EngineSL]20 msPassed
Package core / test[EngineSL]20 msPassed
test[LUPSLSL]32 msPassed
Install IDE / test[LUPSLSL]32 msPassed
Package core / test[LUPSLSL]10 msPassed
test[LUPSLSL]10 msPassed
test[Lambda-issue496]2 msPassed
Install IDE / test[Lambda-issue496]2 msPassed
test[Lambda-issue496]2 msPassed
Package core / test[Lambda-issue496]2 msPassed
test[MAASL]0.12 secPassed
Install IDE / test[MAASL]0.12 secPassed
Package core / test[MAASL]55 msPassed
test[MAASL]55 msPassed
Install IDE / test[NDBSL]13 msPassed
Package core / test[NDBSL]9 msPassed
test[NDBSL]9 msPassed
test[NDBSL]13 msPassed
test[PlannerSL]40 msPassed
test[PlannerSL]56 msPassed
Package core / test[PlannerSL]56 msPassed
Install IDE / test[PlannerSL]40 msPassed
Package core / test[ProgLangSL]62 msPassed
test[ProgLangSL]62 msPassed
test[ProgLangSL]34 msPassed
Install IDE / test[ProgLangSL]34 msPassed
Package core / test[RM39SL]0.11 secPassed
test[RM39SL]0.11 secPassed
test[RM39SL]94 msPassed
Install IDE / test[RM39SL]94 msPassed
test[SAFERSL]0.14 secPassed
test[SAFERSL]0.1 secPassed
Package core / test[SAFERSL]0.1 secPassed
Install IDE / test[SAFERSL]0.14 secPassed
test[STVSL]0.19 secPassed
Install IDE / test[STVSL]0.19 secPassed
Package core / test[STVSL]0.15 secPassed
test[STVSL]0.15 secPassed
test[SeqLoop]2 msPassed
test[SeqLoop]2 msPassed
Install IDE / test[SeqLoop]2 msPassed
Package core / test[SeqLoop]2 msPassed
Install IDE / test[TrackerSL]16 msPassed
test[TrackerSL]9 msPassed
Package core / test[TrackerSL]9 msPassed
test[TrackerSL]16 msPassed
test[barSL]44 msPassed
Install IDE / test[barSL]44 msPassed
test[barSL]32 msPassed
Package core / test[barSL]32 msPassed
test[cashdispenserSL]10 msPassed
Install IDE / test[cashdispenserSL]27 msPassed
Package core / test[cashdispenserSL]10 msPassed
test[cashdispenserSL]27 msPassed
Install IDE / test[crosswordSL]0.13 secPassed
Package core / test[crosswordSL]26 msPassed
test[crosswordSL]0.13 secPassed
test[crosswordSL]26 msPassed
Install IDE / test[dwarfSL]54 msPassed
Package core / test[dwarfSL]25 msPassed
test[dwarfSL]25 msPassed
test[dwarfSL]54 msPassed
test[eq_rel]2 msPassed
Package core / test[eq_rel]2 msPassed
test[eq_rel]2 msPassed
Install IDE / test[eq_rel]2 msPassed
test[eq_rel_func]2 msPassed
test[eq_rel_func]3 msPassed
Install IDE / test[eq_rel_func]3 msPassed
Package core / test[eq_rel_func]2 msPassed
Package core / test[eq_rel_missing_func]1 msPassed
Install IDE / test[eq_rel_missing_func]2 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_missing_func]2 msPassed
Install IDE / test[eq_rel_no_usage]6 msPassed
Package core / test[eq_rel_no_usage]0 msPassed
test[eq_rel_no_usage]6 msPassed
test[eq_rel_no_usage]0 msPassed
Package core / test[eq_rel_not_bool]1 msPassed
test[eq_rel_not_bool]2 msPassed
Install IDE / test[eq_rel_not_bool]2 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_usage]1 msPassed
test[eq_rel_usage]2 msPassed
Install IDE / test[eq_rel_usage]2 msPassed
Package core / test[eq_rel_usage]1 msPassed
Package core / test[expressSL]0.1 secPassed
Install IDE / test[expressSL]22 msPassed
test[expressSL]0.1 secPassed
test[expressSL]22 msPassed
test[gatewaySL]11 msPassed
Package core / test[gatewaySL]6 msPassed
Install IDE / test[gatewaySL]11 msPassed
test[gatewaySL]6 msPassed
Package core / test[graphedSL]0.13 secPassed
test[graphedSL]0.13 secPassed
Install IDE / test[graphedSL]0.35 secPassed
test[graphedSL]0.35 secPassed
Install IDE / test[hotelSL]97 msPassed
Package core / test[hotelSL]11 msPassed
test[hotelSL]11 msPassed
test[hotelSL]97 msPassed
Install IDE / test[issue194]14 msPassed
test[issue194]4 msPassed
test[issue194]14 msPassed
Package core / test[issue194]4 msPassed
Install IDE / test[librarySL]0.12 secPassed
test[librarySL]0.11 secPassed
Package core / test[librarySL]0.11 secPassed
test[librarySL]0.12 secPassed
Package core / test[looseSL]86 msPassed
test[looseSL]86 msPassed
Install IDE / test[looseSL]0.22 secPassed
test[looseSL]0.22 secPassed
test[metroSL]13 msPassed
Install IDE / test[metroSL]13 msPassed
Package core / test[metroSL]9 msPassed
test[metroSL]9 msPassed
test[monitorSL]5 msPassed
Install IDE / test[monitorSL]5 msPassed
test[monitorSL]5 msPassed
Package core / test[monitorSL]5 msPassed
test[newspeakSL]2.1 secPassed
Install IDE / test[newspeakSL]6.8 secPassed
Package core / test[newspeakSL]2.1 secPassed
test[newspeakSL]6.8 secPassed
Install IDE / test[ord_rel]13 msPassed
Package core / test[ord_rel]3 msPassed
test[ord_rel]13 msPassed
test[ord_rel]3 msPassed
Install IDE / test[ord_rel_func]1 msPassed
Package core / test[ord_rel_func]10 msPassed
test[ord_rel_func]10 msPassed
test[ord_rel_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
Install IDE / test[ord_rel_missing_func]1 msPassed
test[ord_rel_missing_func]2 msPassed
Package core / test[ord_rel_missing_func]2 msPassed
test[ord_rel_no_usage]3 msPassed
Install IDE / test[ord_rel_no_usage]3 msPassed
test[ord_rel_no_usage]1 msPassed
Package core / test[ord_rel_no_usage]1 msPassed
Install IDE / test[ord_rel_no_usage_max]1 msPassed
Package core / test[ord_rel_no_usage_max]10 msPassed
test[ord_rel_no_usage_max]10 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_min]5 msPassed
test[ord_rel_no_usage_min]1 msPassed
Package core / test[ord_rel_no_usage_min]1 msPassed
Install IDE / test[ord_rel_no_usage_min]5 msPassed
Install IDE / test[ord_rel_not_bool]3 msPassed
Package core / test[ord_rel_not_bool]7 msPassed
test[ord_rel_not_bool]3 msPassed
test[ord_rel_not_bool]7 msPassed
test[ord_rel_usage]1 msPassed
Install IDE / test[ord_rel_usage]3 msPassed
test[ord_rel_usage]3 msPassed
Package core / test[ord_rel_usage]1 msPassed
Package core / test[ord_rel_usage_max]1 msPassed
Install IDE / test[ord_rel_usage_max]3 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_max]3 msPassed
Package core / test[ord_rel_usage_min]0 msPassed
Install IDE / test[ord_rel_usage_min]8 msPassed
test[ord_rel_usage_min]8 msPassed
test[ord_rel_usage_min]0 msPassed
test[pacemakerSL]87 msPassed
test[pacemakerSL]36 msPassed
Package core / test[pacemakerSL]87 msPassed
Install IDE / test[pacemakerSL]36 msPassed
Package core / test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_impure]4 msPassed
Install IDE / test[pureop_assert_invoke_impure]4 msPassed
Package core / test[pureop_assert_invoke_pure]3 msPassed
Install IDE / test[pureop_assert_invoke_pure]5 msPassed
test[pureop_assert_invoke_pure]5 msPassed
test[pureop_assert_invoke_pure]3 msPassed
test[pureop_assigns]0 msPassed
Package core / test[pureop_assigns]0 msPassed
Install IDE / test[pureop_assigns]2 msPassed
test[pureop_assigns]2 msPassed
test[pureop_func_invokes_pure]5 msPassed
test[pureop_func_invokes_pure]2 msPassed
Package core / test[pureop_func_invokes_pure]2 msPassed
Install IDE / test[pureop_func_invokes_pure]5 msPassed
Install IDE / test[pureop_no_assigns]2 msPassed
Package core / test[pureop_no_assigns]1 msPassed
test[pureop_no_assigns]2 msPassed
test[pureop_no_assigns]1 msPassed
Install IDE / test[pureop_pure_invoke_impure]2 msPassed
Package core / test[pureop_pure_invoke_impure]0 msPassed
test[pureop_pure_invoke_impure]2 msPassed
test[pureop_pure_invoke_impure]0 msPassed
Install IDE / test[pureop_pure_invoke_pure]6 msPassed
Package core / test[pureop_pure_invoke_pure]2 msPassed
test[pureop_pure_invoke_pure]6 msPassed
test[pureop_pure_invoke_pure]2 msPassed
test[raildirSL]0.22 secPassed
Package core / test[raildirSL]0.22 secPassed
test[raildirSL]0.2 secPassed
Install IDE / test[raildirSL]0.2 secPassed
Package core / test[realmSL]90 msPassed
Install IDE / test[realmSL]85 msPassed
test[realmSL]85 msPassed
test[realmSL]90 msPassed
test[recursiveSL]34 msPassed
Package core / test[recursiveSL]8 msPassed
Install IDE / test[recursiveSL]34 msPassed
test[recursiveSL]8 msPassed
Package core / test[seqbindings]4 msPassed
Install IDE / test[seqbindings]9 msPassed
test[seqbindings]4 msPassed
test[seqbindings]9 msPassed
Install IDE / test[set1_illegal_value]11 msPassed
Package core / test[set1_illegal_value]2 msPassed
test[set1_illegal_value]11 msPassed
test[set1_illegal_value]2 msPassed
test[shmemSL]12 msPassed
test[shmemSL]25 msPassed
Package core / test[shmemSL]12 msPassed
Install IDE / test[shmemSL]25 msPassed
test[simpleExportImportTypes]7 msPassed
Package core / test[simpleExportImportTypes]7 msPassed
Install IDE / test[simpleExportImportTypes]3 msPassed
test[simpleExportImportTypes]3 msPassed
test[simpleExportImport]4 msPassed
Install IDE / test[simpleExportImport]7 msPassed
test[simpleExportImport]7 msPassed
Package core / test[simpleExportImport]4 msPassed
Install IDE / test[simulatorSL]0.28 secPassed
test[simulatorSL]0.13 secPassed
Package core / test[simulatorSL]0.13 secPassed
test[simulatorSL]0.28 secPassed
Install IDE / test[soccerSL]13 msPassed
test[soccerSL]26 msPassed
test[soccerSL]13 msPassed
Package core / test[soccerSL]26 msPassed
Install IDE / test[telephoneSL]15 msPassed
Package core / test[telephoneSL]7 msPassed
test[telephoneSL]7 msPassed
test[telephoneSL]15 msPassed
Install IDE / test[test1]1 msPassed
test[test1]1 msPassed
test[test1]0 msPassed
Package core / test[test1]0 msPassed
test[test2]1 msPassed
test[test2]4 msPassed
Install IDE / test[test2]1 msPassed
Package core / test[test2]4 msPassed
Package core / test[trafficSL]8 msPassed
Install IDE / test[trafficSL]16 msPassed
test[trafficSL]8 msPassed
test[trafficSL]16 msPassed