Skip to content
Snippets Groups Projects
Commit 64c25294 authored by Wilke Pierre's avatar Wilke Pierre
Browse files

Activer l'enregistrement des backtraces depuis le code du compilateur

(et pas avec une variable d'environnement...)
parent b1b72e97
No related branches found
No related tags found
No related merge requests found
...@@ -23,4 +23,4 @@ clean: ...@@ -23,4 +23,4 @@ clean:
make -C tests clean make -C tests clean
test: main.native test: main.native
OCAMLRUNPARAM=b make -C tests make -C tests
...@@ -180,6 +180,7 @@ let _ = ...@@ -180,6 +180,7 @@ let _ =
set_default ltl_dump basename ".ltl"; set_default ltl_dump basename ".ltl";
end; end;
Printexc.record_backtrace true;
let compiler_res = let compiler_res =
try try
pass_tokenize input >>= fun tokens -> pass_tokenize input >>= fun tokens ->
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment