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...