Test Result : ModulesSlTypeCheckTest

0 failures (±0)
73 tests (-219)
Took 3.4 sec.

All Tests

Test nameDurationStatus
test[ACSSL]62 msPassed
test[ADTSL]0.21 secPassed
test[ATCSL]0.11 secPassed
test[AlarmSL]9 msPassed
test[BOMSL]18 msPassed
test[CMSL]14 msPassed
test[CountryColouringSL]14 msPassed
test[DFDexampleSL]76 msPassed
test[DigraphSL]35 msPassed
test[EngineSL]7 msPassed
test[LUPSLSL]14 msPassed
test[Lambda-issue496]4 msPassed
test[MAASL]46 msPassed
test[NDBSL]6 msPassed
test[PlannerSL]40 msPassed
test[ProgLangSL]45 msPassed
test[RM39SL]54 msPassed
test[SAFERSL]93 msPassed
test[STVSL]0.13 secPassed
test[SeqLoop]0 msPassed
test[TrackerSL]7 msPassed
test[barSL]12 msPassed
test[cashdispenserSL]9 msPassed
test[crosswordSL]12 msPassed
test[dwarfSL]18 msPassed
test[eq_rel]3 msPassed
test[eq_rel_func]0 msPassed
test[eq_rel_missing_func]0 msPassed
test[eq_rel_no_usage]1 msPassed
test[eq_rel_not_bool]0 msPassed
test[eq_rel_usage]0 msPassed
test[expressSL]84 msPassed
test[gatewaySL]45 msPassed
test[graphedSL]76 msPassed
test[hotelSL]10 msPassed
test[issue194]3 msPassed
test[librarySL]93 msPassed
test[looseSL]0.11 secPassed
test[metroSL]21 msPassed
test[monitorSL]0 msPassed
test[newspeakSL]1.4 secPassed
test[ord_rel]3 msPassed
test[ord_rel_func]2 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_no_usage]0 msPassed
test[ord_rel_no_usage_max]0 msPassed
test[ord_rel_no_usage_min]8 msPassed
test[ord_rel_not_bool]2 msPassed
test[ord_rel_usage]0 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_min]1 msPassed
test[pacemakerSL]34 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_pure]1 msPassed
test[pureop_assigns]2 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_no_assigns]1 msPassed
test[pureop_pure_invoke_impure]2 msPassed
test[pureop_pure_invoke_pure]5 msPassed
test[raildirSL]0.19 secPassed
test[realmSL]47 msPassed
test[recursiveSL]8 msPassed
test[seqbindings]2 msPassed
test[set1_illegal_value]2 msPassed
test[shmemSL]14 msPassed
test[simpleExportImportTypes]12 msPassed
test[simpleExportImport]4 msPassed
test[simulatorSL]95 msPassed
test[soccerSL]13 msPassed
test[telephoneSL]5 msPassed
test[test1]2 msPassed
test[test2]0 msPassed
test[trafficSL]7 msPassed