Test Result : ModulesSlTypeCheckTest

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

All Tests

Test nameDurationStatus
test[ACSSL]63 msPassed
test[ADTSL]0.17 secPassed
test[ATCSL]0.23 secPassed
test[AlarmSL]12 msPassed
test[BOMSL]5 msPassed
test[CMSL]8 msPassed
test[CountryColouringSL]13 msPassed
test[DFDexampleSL]71 msPassed
test[DigraphSL]16 msPassed
test[EngineSL]9 msPassed
test[LUPSLSL]11 msPassed
test[Lambda-issue496]1 msPassed
test[MAASL]60 msPassed
test[NDBSL]20 msPassed
test[PlannerSL]28 msPassed
test[ProgLangSL]37 msPassed
test[RM39SL]97 msPassed
test[SAFERSL]0.1 secPassed
test[STVSL]67 msPassed
test[SeqLoop]2 msPassed
test[TrackerSL]6 msPassed
test[barSL]17 msPassed
test[cashdispenserSL]7 msPassed
test[crosswordSL]15 msPassed
test[dwarfSL]11 msPassed
test[eq_rel]1 msPassed
test[eq_rel_func]1 msPassed
test[eq_rel_missing_func]1 msPassed
test[eq_rel_no_usage]1 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_usage]9 msPassed
test[expressSL]23 msPassed
test[gatewaySL]5 msPassed
test[graphedSL]0.1 secPassed
test[hotelSL]10 msPassed
test[issue194]3 msPassed
test[librarySL]66 msPassed
test[looseSL]59 msPassed
test[metroSL]10 msPassed
test[monitorSL]5 msPassed
test[newspeakSL]1 secPassed
test[ord_rel]3 msPassed
test[ord_rel_func]1 msPassed
test[ord_rel_missing_func]3 msPassed
test[ord_rel_no_usage]10 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_min]1 msPassed
test[ord_rel_not_bool]2 msPassed
test[ord_rel_usage]3 msPassed
test[ord_rel_usage_max]1 msPassed
test[ord_rel_usage_min]3 msPassed
test[pacemakerSL]76 msPassed
test[pureop_assert_invoke_impure]1 msPassed
test[pureop_assert_invoke_pure]1 msPassed
test[pureop_assigns]1 msPassed
test[pureop_func_invokes_pure]1 msPassed
test[pureop_no_assigns]1 msPassed
test[pureop_pure_invoke_impure]1 msPassed
test[pureop_pure_invoke_pure]1 msPassed
test[raildirSL]64 msPassed
test[realmSL]70 msPassed
test[recursiveSL]8 msPassed
test[seqbindings]2 msPassed
test[set1_illegal_value]1 msPassed
test[shmemSL]8 msPassed
test[simpleExportImportTypes]1 msPassed
test[simpleExportImport]2 msPassed
test[simulatorSL]0.62 secPassed
test[soccerSL]17 msPassed
test[telephoneSL]5 msPassed
test[test1]1 msPassed
test[test2]1 msPassed
test[trafficSL]5 msPassed