Simon Génier pushed to branch elab-tests at Stefan / Typer Commits: a8e2af1a by Simon Génier at 2020-09-10T09:38:07-04:00 Oops: add back running tests in the order they were inserted. - - - - - 1 changed file: - tests/utest_lib.ml Changes: ===================================== tests/utest_lib.ml ===================================== @@ -238,13 +238,12 @@ let for_all_tests sk tmap tk = unexpected_throw sk tk e) else () let for_all_sections sk = - let tmap, tst = StringMap.find sk (!global_sections) in - - if must_run_section sk - then ( - ut_string2 ("[RUN ] " ^ sk ^ " \n"); - List.iter (for_all_tests sk tmap) tst) - else () + let tmap, tst = StringMap.find sk (!global_sections) in + let tst = List.rev tst in + if must_run_section sk + then ( + ut_string2 ("[RUN ] " ^ sk ^ " \n"); + List.iter (for_all_tests sk tmap) tst) (* Run all *) let run_all () = View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a8e2af1ac0f6274a5b66cf136d3ccbbbdf... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/a8e2af1ac0f6274a5b66cf136d3ccbbbdf... You're receiving this email because of your account on gitlab.com.