Test Result : ModulesSlTypeCheckTest

0 failures (±0)
292 tests (±0)
Took 7.4 sec.

All Tests

Test nameDurationStatus
test[ACSSL]36 msPassed
test[ACSSL]36 msPassed
test[ACSSL]32 msPassed
test[ACSSL]32 msPassed
test[ADTSL]0.12 secPassed
test[ADTSL]0.12 secPassed
test[ADTSL]99 msPassed
test[ADTSL]99 msPassed
test[ATCSL]56 msPassed
test[ATCSL]56 msPassed
test[ATCSL]84 msPassed
test[ATCSL]84 msPassed
test[AlarmSL]8 msPassed
test[AlarmSL]7 msPassed
test[AlarmSL]7 msPassed
test[AlarmSL]8 msPassed
test[BOMSL]9 msPassed
test[BOMSL]3 msPassed
test[BOMSL]9 msPassed
test[BOMSL]3 msPassed
test[CMSL]8 msPassed
test[CMSL]5 msPassed
test[CMSL]5 msPassed
test[CMSL]8 msPassed
test[CountryColouringSL]3 msPassed
test[CountryColouringSL]3 msPassed
test[CountryColouringSL]11 msPassed
test[CountryColouringSL]11 msPassed
test[DFDexampleSL]58 msPassed
test[DFDexampleSL]58 msPassed
test[DFDexampleSL]63 msPassed
test[DFDexampleSL]63 msPassed
test[DigraphSL]37 msPassed
test[DigraphSL]37 msPassed
test[DigraphSL]11 msPassed
test[DigraphSL]11 msPassed
test[EngineSL]5 msPassed
test[EngineSL]5 msPassed
test[EngineSL]6 msPassed
test[EngineSL]6 msPassed
test[LUPSLSL]6 msPassed
test[LUPSLSL]6 msPassed
test[LUPSLSL]17 msPassed
test[LUPSLSL]17 msPassed
test[Lambda-issue496]1 msPassed
test[Lambda-issue496]0 msPassed
test[Lambda-issue496]0 msPassed
test[Lambda-issue496]1 msPassed
test[MAASL]16 msPassed
test[MAASL]22 msPassed
test[MAASL]22 msPassed
test[MAASL]16 msPassed
test[NDBSL]7 msPassed
test[NDBSL]7 msPassed
test[NDBSL]6 msPassed
test[NDBSL]6 msPassed
test[PlannerSL]9 msPassed
test[PlannerSL]12 msPassed
test[PlannerSL]9 msPassed
test[PlannerSL]12 msPassed
test[ProgLangSL]12 msPassed
test[ProgLangSL]27 msPassed
test[ProgLangSL]12 msPassed
test[ProgLangSL]27 msPassed
test[RM39SL]47 msPassed
test[RM39SL]47 msPassed
test[RM39SL]62 msPassed
test[RM39SL]62 msPassed
test[SAFERSL]43 msPassed
test[SAFERSL]43 msPassed
test[SAFERSL]29 msPassed
test[SAFERSL]29 msPassed
test[STVSL]95 msPassed
test[STVSL]95 msPassed
test[STVSL]33 msPassed
test[STVSL]33 msPassed
test[SeqLoop]1 msPassed
test[SeqLoop]1 msPassed
test[SeqLoop]2 msPassed
test[SeqLoop]2 msPassed
test[TrackerSL]4 msPassed
test[TrackerSL]4 msPassed
test[TrackerSL]6 msPassed
test[TrackerSL]6 msPassed
test[barSL]11 msPassed
test[barSL]11 msPassed
test[barSL]14 msPassed
test[barSL]14 msPassed
test[cashdispenserSL]7 msPassed
test[cashdispenserSL]5 msPassed
test[cashdispenserSL]7 msPassed
test[cashdispenserSL]5 msPassed
test[crosswordSL]8 msPassed
test[crosswordSL]11 msPassed
test[crosswordSL]8 msPassed
test[crosswordSL]11 msPassed
test[dwarfSL]7 msPassed
test[dwarfSL]7 msPassed
test[dwarfSL]8 msPassed
test[dwarfSL]8 msPassed
test[eq_rel]1 msPassed
test[eq_rel]1 msPassed
test[eq_rel]1 msPassed
test[eq_rel]1 msPassed
test[eq_rel_func]0 msPassed
test[eq_rel_func]1 msPassed
test[eq_rel_func]1 msPassed
test[eq_rel_func]0 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_no_usage]1 msPassed
test[eq_rel_no_usage]0 msPassed
test[eq_rel_no_usage]1 msPassed
test[eq_rel_no_usage]0 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_usage]0 msPassed
test[eq_rel_usage]1 msPassed
test[eq_rel_usage]0 msPassed
test[eq_rel_usage]1 msPassed
test[expressSL]9 msPassed
test[expressSL]33 msPassed
test[expressSL]9 msPassed
test[expressSL]33 msPassed
test[gatewaySL]2 msPassed
test[gatewaySL]2 msPassed
test[gatewaySL]6 msPassed
test[gatewaySL]6 msPassed
test[graphedSL]0.13 secPassed
test[graphedSL]31 msPassed
test[graphedSL]0.13 secPassed
test[graphedSL]31 msPassed
test[hotelSL]8 msPassed
test[hotelSL]5 msPassed
test[hotelSL]8 msPassed
test[hotelSL]5 msPassed
test[issue194]2 msPassed
test[issue194]2 msPassed
test[issue194]2 msPassed
test[issue194]2 msPassed
test[librarySL]26 msPassed
test[librarySL]26 msPassed
test[librarySL]38 msPassed
test[librarySL]38 msPassed
test[looseSL]25 msPassed
test[looseSL]25 msPassed
test[looseSL]31 msPassed
test[looseSL]31 msPassed
test[metroSL]9 msPassed
test[metroSL]4 msPassed
test[metroSL]4 msPassed
test[metroSL]9 msPassed
test[monitorSL]2 msPassed
test[monitorSL]3 msPassed
test[monitorSL]2 msPassed
test[monitorSL]3 msPassed
test[newspeakSL]0.74 secPassed
test[newspeakSL]0.99 secPassed
test[newspeakSL]0.74 secPassed
test[newspeakSL]0.99 secPassed
test[ord_rel]3 msPassed
test[ord_rel]3 msPassed
test[ord_rel]1 msPassed
test[ord_rel]1 msPassed
test[ord_rel_func]0 msPassed
test[ord_rel_func]0 msPassed
test[ord_rel_func]1 msPassed
test[ord_rel_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_max]0 msPassed
test[ord_rel_no_usage_max]0 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_min]0 msPassed
test[ord_rel_no_usage_min]1 msPassed
test[ord_rel_no_usage_min]1 msPassed
test[ord_rel_no_usage_min]0 msPassed
test[ord_rel_not_bool]1 msPassed
test[ord_rel_not_bool]1 msPassed
test[ord_rel_not_bool]1 msPassed
test[ord_rel_not_bool]1 msPassed
test[ord_rel_usage]1 msPassed
test[ord_rel_usage]1 msPassed
test[ord_rel_usage]2 msPassed
test[ord_rel_usage]2 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_min]2 msPassed
test[ord_rel_usage_min]2 msPassed
test[ord_rel_usage_min]1 msPassed
test[ord_rel_usage_min]1 msPassed
test[pacemakerSL]10 msPassed
test[pacemakerSL]21 msPassed
test[pacemakerSL]10 msPassed
test[pacemakerSL]21 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_pure]1 msPassed
test[pureop_assert_invoke_pure]2 msPassed
test[pureop_assert_invoke_pure]1 msPassed
test[pureop_assert_invoke_pure]2 msPassed
test[pureop_assigns]1 msPassed
test[pureop_assigns]2 msPassed
test[pureop_assigns]1 msPassed
test[pureop_assigns]2 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_no_assigns]1 msPassed
test[pureop_no_assigns]0 msPassed
test[pureop_no_assigns]0 msPassed
test[pureop_no_assigns]1 msPassed
test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_pure]2 msPassed
test[pureop_pure_invoke_pure]1 msPassed
test[pureop_pure_invoke_pure]1 msPassed
test[pureop_pure_invoke_pure]2 msPassed
test[raildirSL]33 msPassed
test[raildirSL]66 msPassed
test[raildirSL]66 msPassed
test[raildirSL]33 msPassed
test[realmSL]34 msPassed
test[realmSL]30 msPassed
test[realmSL]34 msPassed
test[realmSL]30 msPassed
test[recursiveSL]4 msPassed
test[recursiveSL]4 msPassed
test[recursiveSL]11 msPassed
test[recursiveSL]11 msPassed
test[seqbindings]4 msPassed
test[seqbindings]4 msPassed
test[seqbindings]3 msPassed
test[seqbindings]3 msPassed
test[set1_illegal_value]0 msPassed
test[set1_illegal_value]1 msPassed
test[set1_illegal_value]0 msPassed
test[set1_illegal_value]1 msPassed
test[shmemSL]8 msPassed
test[shmemSL]6 msPassed
test[shmemSL]6 msPassed
test[shmemSL]8 msPassed
test[simpleExportImportTypes]1 msPassed
test[simpleExportImportTypes]1 msPassed
test[simpleExportImportTypes]3 msPassed
test[simpleExportImportTypes]3 msPassed
test[simpleExportImport]2 msPassed
test[simpleExportImport]4 msPassed
test[simpleExportImport]2 msPassed
test[simpleExportImport]4 msPassed
test[simulatorSL]66 msPassed
test[simulatorSL]60 msPassed
test[simulatorSL]60 msPassed
test[simulatorSL]66 msPassed
test[soccerSL]9 msPassed
test[soccerSL]9 msPassed
test[soccerSL]8 msPassed
test[soccerSL]8 msPassed
test[telephoneSL]5 msPassed
test[telephoneSL]4 msPassed
test[telephoneSL]5 msPassed
test[telephoneSL]4 msPassed
test[test1]1 msPassed
test[test1]0 msPassed
test[test1]1 msPassed
test[test1]0 msPassed
test[test2]2 msPassed
test[test2]2 msPassed
test[test2]0 msPassed
test[test2]0 msPassed
test[trafficSL]7 msPassed
test[trafficSL]7 msPassed
test[trafficSL]4 msPassed
test[trafficSL]4 msPassed