test[ACSSL] | 41 ms | Passed |
test[ADTSL] | 0.18 sec | Passed |
test[ATCSL] | 79 ms | Passed |
test[AlarmSL] | 8 ms | Passed |
test[BOMSL] | 4 ms | Passed |
test[CMSL] | 7 ms | Passed |
test[CountryColouringSL] | 5 ms | Passed |
test[DFDexampleSL] | 75 ms | Passed |
test[DigraphSL] | 15 ms | Passed |
test[EngineSL] | 6 ms | Passed |
test[LUPSLSL] | 10 ms | Passed |
test[Lambda-issue496] | 1 ms | Passed |
test[MAASL] | 23 ms | Passed |
test[NDBSL] | 7 ms | Passed |
test[PlannerSL] | 12 ms | Passed |
test[ProgLangSL] | 22 ms | Passed |
test[RM39SL] | 51 ms | Passed |
test[SAFERSL] | 40 ms | Passed |
test[STVSL] | 46 ms | Passed |
test[SeqLoop] | 2 ms | Passed |
test[TrackerSL] | 5 ms | Passed |
test[barSL] | 14 ms | Passed |
test[cashdispenserSL] | 7 ms | Passed |
test[crosswordSL] | 13 ms | Passed |
test[dwarfSL] | 9 ms | Passed |
test[eq_rel] | 1 ms | Passed |
test[eq_rel_func] | 1 ms | Passed |
test[eq_rel_missing_func] | 1 ms | Passed |
test[eq_rel_no_usage] | 1 ms | Passed |
test[eq_rel_not_bool] | 0 ms | Passed |
test[eq_rel_usage] | 1 ms | Passed |
test[expressSL] | 13 ms | Passed |
test[gatewaySL] | 2 ms | Passed |
test[graphedSL] | 44 ms | Passed |
test[hotelSL] | 7 ms | Passed |
test[issue194] | 2 ms | Passed |
test[librarySL] | 37 ms | Passed |
test[looseSL] | 34 ms | Passed |
test[metroSL] | 6 ms | Passed |
test[monitorSL] | 3 ms | Passed |
test[newspeakSL] | 1.6 sec | Passed |
test[ord_rel] | 2 ms | Passed |
test[ord_rel_func] | 1 ms | Passed |
test[ord_rel_missing_func] | 1 ms | Passed |
test[ord_rel_no_usage] | 1 ms | Passed |
test[ord_rel_no_usage_max] | 1 ms | Passed |
test[ord_rel_no_usage_min] | 1 ms | Passed |
test[ord_rel_not_bool] | 1 ms | Passed |
test[ord_rel_usage] | 1 ms | Passed |
test[ord_rel_usage_max] | 1 ms | Passed |
test[ord_rel_usage_min] | 1 ms | Passed |
test[pacemakerSL] | 14 ms | Passed |
test[pureop_assert_invoke_impure] | 1 ms | Passed |
test[pureop_assert_invoke_pure] | 1 ms | Passed |
test[pureop_assigns] | 0 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] | 1 ms | Passed |
test[raildirSL] | 45 ms | Passed |
test[realmSL] | 39 ms | Passed |
test[recursiveSL] | 8 ms | Passed |
test[seqbindings] | 2 ms | Passed |
test[set1_illegal_value] | 0 ms | Passed |
test[shmemSL] | 9 ms | Passed |
test[simpleExportImportTypes] | 2 ms | Passed |
test[simpleExportImport] | 2 ms | Passed |
test[simulatorSL] | 80 ms | Passed |
test[soccerSL] | 10 ms | Passed |
test[telephoneSL] | 7 ms | Passed |
test[test1] | 0 ms | Passed |
test[test2] | 0 ms | Passed |
test[trafficSL] | 5 ms | Passed |