From 64c252948f66e44a34815443e4ac09b1c9b6bf46 Mon Sep 17 00:00:00 2001
From: Pierre Wilke <pierre.wilke@centralesupelec.fr>
Date: Tue, 2 Mar 2021 15:30:33 +0100
Subject: [PATCH] Activer l'enregistrement des backtraces depuis le code du
compilateur
(et pas avec une variable d'environnement...)
---
Makefile | 2 +-
src/main.ml | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index fc7a1d1..413254d 100644
--- a/Makefile
+++ b/Makefile
@@ -23,4 +23,4 @@ clean:
make -C tests clean
test: main.native
- OCAMLRUNPARAM=b make -C tests
+ make -C tests
diff --git a/src/main.ml b/src/main.ml
index e107385..c19c01f 100644
--- a/src/main.ml
+++ b/src/main.ml
@@ -180,6 +180,7 @@ let _ =
set_default ltl_dump basename ".ltl";
end;
+ Printexc.record_backtrace true;
let compiler_res =
try
pass_tokenize input >>= fun tokens ->
--
GitLab