Test Result : ModulesSlTypeCheckTest

0 failures (±0)

73 tests (-219)

Took 3.4 sec.

All Tests

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