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