Test Result : ModulesSlTypeCheckTest

0 failures (±0)
73 tests (±0)
Took 4.3 sec.

All Tests

Test nameDurationStatus
test[ACSSL]71 msPassed
test[ADTSL]0.22 secPassed
test[ATCSL]0.2 secPassed
test[AlarmSL]13 msPassed
test[BOMSL]6 msPassed
test[CMSL]7 msPassed
test[CountryColouringSL]0 msPassed
test[DFDexampleSL]80 msPassed
test[DigraphSL]20 msPassed
test[EngineSL]15 msPassed
test[LUPSLSL]17 msPassed
test[Lambda-issue496]0 msPassed
test[MAASL]85 msPassed
test[NDBSL]12 msPassed
test[PlannerSL]13 msPassed
test[ProgLangSL]25 msPassed
test[RM39SL]0.12 secPassed
test[SAFERSL]0.19 secPassed
test[STVSL]69 msPassed
test[SeqLoop]4 msPassed
test[TrackerSL]6 msPassed
test[barSL]28 msPassed
test[cashdispenserSL]8 msPassed
test[crosswordSL]13 msPassed
test[dwarfSL]12 msPassed
test[eq_rel]1 msPassed
test[eq_rel_func]1 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_no_usage]0 msPassed
test[eq_rel_not_bool]4 msPassed
test[eq_rel_usage]1 msPassed
test[expressSL]11 msPassed
test[gatewaySL]12 msPassed
test[graphedSL]54 msPassed
test[hotelSL]10 msPassed
test[issue194]2 msPassed
test[librarySL]86 msPassed
test[looseSL]42 msPassed
test[metroSL]9 msPassed
test[monitorSL]19 msPassed
test[newspeakSL]1.2 secPassed
test[ord_rel]3 msPassed
test[ord_rel_func]0 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_no_usage]1 msPassed
test[ord_rel_no_usage_max]0 msPassed
test[ord_rel_no_usage_min]4 msPassed
test[ord_rel_not_bool]1 msPassed
test[ord_rel_usage]1 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_min]1 msPassed
test[pacemakerSL]13 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_pure]3 msPassed
test[pureop_assigns]0 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_no_assigns]5 msPassed
test[pureop_pure_invoke_impure]5 msPassed
test[pureop_pure_invoke_pure]0 msPassed
test[raildirSL]56 msPassed
test[realmSL]65 msPassed
test[recursiveSL]28 msPassed
test[seqbindings]3 msPassed
test[set1_illegal_value]1 msPassed
test[shmemSL]9 msPassed
test[simpleExportImportTypes]2 msPassed
test[simpleExportImport]2 msPassed
test[simulatorSL]1.3 secPassed
test[soccerSL]13 msPassed
test[telephoneSL]3 msPassed
test[test1]8 msPassed
test[test2]0 msPassed
test[trafficSL]5 msPassed