Test Result : ModulesSlTypeCheckTest

0 failures (±0)
219 tests (±0)
Took 9.4 sec.

All Tests

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