Test Result : ModulesSlTypeCheckTest

0 failures
73 tests
Took 6.3 sec.

All Tests

Test nameDurationStatus
test[ACSSL]77 msPassed
test[ADTSL]0.38 secPassed
test[ATCSL]0.22 secPassed
test[AlarmSL]22 msPassed
test[BOMSL]14 msPassed
test[CMSL]43 msPassed
test[CountryColouringSL]5 msPassed
test[DFDexampleSL]0.19 secPassed
test[DigraphSL]45 msPassed
test[EngineSL]25 msPassed
test[LUPSLSL]25 msPassed
test[Lambda-issue496]2 msPassed
test[MAASL]99 msPassed
test[NDBSL]20 msPassed
test[PlannerSL]10 msPassed
test[ProgLangSL]83 msPassed
test[RM39SL]0.13 secPassed
test[SAFERSL]0.28 secPassed
test[STVSL]89 msPassed
test[SeqLoop]3 msPassed
test[TrackerSL]17 msPassed
test[barSL]56 msPassed
test[cashdispenserSL]23 msPassed
test[crosswordSL]55 msPassed
test[dwarfSL]31 msPassed
test[eq_rel]2 msPassed
test[eq_rel_func]2 msPassed
test[eq_rel_missing_func]2 msPassed
test[eq_rel_no_usage]16 msPassed
test[eq_rel_not_bool]1 msPassed
test[eq_rel_usage]2 msPassed
test[expressSL]25 msPassed
test[gatewaySL]13 msPassed
test[graphedSL]65 msPassed
test[hotelSL]44 msPassed
test[issue194]3 msPassed
test[librarySL]0.11 secPassed
test[looseSL]0.16 secPassed
test[metroSL]18 msPassed
test[monitorSL]33 msPassed
test[newspeakSL]2.4 secPassed
test[ord_rel]3 msPassed
test[ord_rel_func]1 msPassed
test[ord_rel_missing_func]1 msPassed
test[ord_rel_no_usage]2 msPassed
test[ord_rel_no_usage_max]1 msPassed
test[ord_rel_no_usage_min]2 msPassed
test[ord_rel_not_bool]2 msPassed
test[ord_rel_usage]2 msPassed
test[ord_rel_usage_max]6 msPassed
test[ord_rel_usage_min]2 msPassed
test[pacemakerSL]42 msPassed
test[pureop_assert_invoke_impure]2 msPassed
test[pureop_assert_invoke_pure]2 msPassed
test[pureop_assigns]2 msPassed
test[pureop_func_invokes_pure]3 msPassed
test[pureop_no_assigns]2 msPassed
test[pureop_pure_invoke_impure]3 msPassed
test[pureop_pure_invoke_pure]2 msPassed
test[raildirSL]75 msPassed
test[realmSL]90 msPassed
test[recursiveSL]19 msPassed
test[seqbindings]6 msPassed
test[set1_illegal_value]2 msPassed
test[shmemSL]29 msPassed
test[simpleExportImportTypes]3 msPassed
test[simpleExportImport]9 msPassed
test[simulatorSL]0.96 secPassed
test[soccerSL]0.12 secPassed
test[telephoneSL]14 msPassed
test[test1]1 msPassed
test[test2]2 msPassed
test[trafficSL]3 msPassed