Test Result : ModulesSlTypeCheckTest

0 failures
73 tests
Took 7.6 sec.

All Tests

Test nameDurationStatus
test[ACSSL]0.1 secPassed
test[ADTSL]0.4 secPassed
test[ATCSL]0.3 secPassed
test[AlarmSL]24 msPassed
test[BOMSL]23 msPassed
test[CMSL]28 msPassed
test[CountryColouringSL]15 msPassed
test[DFDexampleSL]0.1 secPassed
test[DigraphSL]0.15 secPassed
test[EngineSL]22 msPassed
test[LUPSLSL]67 msPassed
test[Lambda-issue496]2 msPassed
test[MAASL]0.14 secPassed
test[NDBSL]18 msPassed
test[PlannerSL]41 msPassed
test[ProgLangSL]0.13 secPassed
test[RM39SL]0.13 secPassed
test[SAFERSL]0.13 secPassed
test[STVSL]0.16 secPassed
test[SeqLoop]4 msPassed
test[TrackerSL]27 msPassed
test[barSL]41 msPassed
test[cashdispenserSL]27 msPassed
test[crosswordSL]14 msPassed
test[dwarfSL]92 msPassed
test[eq_rel]7 msPassed
test[eq_rel_func]5 msPassed
test[eq_rel_missing_func]3 msPassed
test[eq_rel_no_usage]2 msPassed
test[eq_rel_not_bool]2 msPassed
test[eq_rel_usage]11 msPassed
test[expressSL]41 msPassed
test[gatewaySL]19 msPassed
test[graphedSL]73 msPassed
test[hotelSL]18 msPassed
test[issue194]19 msPassed
test[librarySL]1.9 secPassed
test[looseSL]99 msPassed
test[metroSL]32 msPassed
test[monitorSL]22 msPassed
test[newspeakSL]2.2 secPassed
test[ord_rel]30 msPassed
test[ord_rel_func]10 msPassed
test[ord_rel_missing_func]3 msPassed
test[ord_rel_no_usage]2 msPassed
test[ord_rel_no_usage_max]9 msPassed
test[ord_rel_no_usage_min]2 msPassed
test[ord_rel_not_bool]19 msPassed
test[ord_rel_usage]2 msPassed
test[ord_rel_usage_max]2 msPassed
test[ord_rel_usage_min]2 msPassed
test[pacemakerSL]71 msPassed
test[pureop_assert_invoke_impure]2 msPassed
test[pureop_assert_invoke_pure]24 msPassed
test[pureop_assigns]9 msPassed
test[pureop_func_invokes_pure]11 msPassed
test[pureop_no_assigns]2 msPassed
test[pureop_pure_invoke_impure]3 msPassed
test[pureop_pure_invoke_pure]3 msPassed
test[raildirSL]0.17 secPassed
test[realmSL]0.1 secPassed
test[recursiveSL]36 msPassed
test[seqbindings]15 msPassed
test[set1_illegal_value]3 msPassed
test[shmemSL]24 msPassed
test[simpleExportImportTypes]20 msPassed
test[simpleExportImport]9 msPassed
test[simulatorSL]0.26 secPassed
test[soccerSL]15 msPassed
test[telephoneSL]12 msPassed
test[test1]3 msPassed
test[test2]3 msPassed
test[trafficSL]37 msPassed