Stefan pushed to branch unification at Stefan / Typer
Commits: 604b0116 by Stefan Monnier at 2016-11-08T23:29:56-05:00 * tests/utest_lib.ml (for_all_tests): Re-enable backtrace catching.
- - - - -
1 changed file:
- tests/utest_lib.ml
Changes:
===================================== tests/utest_lib.ml ===================================== --- a/tests/utest_lib.ml +++ b/tests/utest_lib.ml @@ -182,16 +182,16 @@ let for_all_tests sk tmap tk = if (must_run_title tk) then ( let tv = StringMap.find tk tmap in flush stdout; - (* try *) + try let r = tv () in if r = 0 then( ut_string2 (green ^ "[ OK] " ^ sk ^ " - " ^ tk ^ "\n" ^ reset)) else( ut_string2 (red ^ "[ FAIL] " ^ sk ^ " - " ^ tk ^ "\n" ^ reset); _ret_code := failure ()) - (* with e -> - * _ret_code := failure (); - * unexpected_throw sk tk e *)) else () + with e -> + _ret_code := failure (); + unexpected_throw sk tk e) else ()
let for_all_sections sk = let tmap, tst = StringMap.find sk (!_global_sections) in
View it on GitLab: https://gitlab.com/monnier/typer/commit/604b0116823b51497486b74c0e284987e606...
Afficher les réponses par date