catch exceptions and mark corresponding tests as failed

diff --git a/helm/gTopLevel/regtest.ml b/helm/gTopLevel/regtest.ml
index a38d5a02be8c4d85817d900f038b7d33d0de489b..ed8988bb8b3a7a3fc56bc7335fb16bcdfdc7ba3a 100644 (file)
--- a/helm/gTopLevel/regtest.ml
+++ b/helm/gTopLevel/regtest.ml
@@ -159,12 +159,14 @@ let main () =
     for i = 1 to argc - 1 do
       let fname = Sys.argv.(i) in
       prerr_endline ("# " ^ fname);
-      let expected = parse_regtest fname in
-      let actual = test_this expected.term in
-      if as_expected expected actual then
-        incr ok
-      else
-        nok := fname :: !nok;
+      try
+        let expected = parse_regtest fname in
+        let actual = test_this expected.term in
+        if as_expected expected actual then
+          incr ok
+        else
+          nok := fname :: !nok;
+      with e -> nok := fname :: !nok
     done;
     print_msg "Regtest completed:";
     print_msg (sprintf "Succeeded: %d" !ok);