diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 84ba37df..209d7a3e 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -109,7 +109,9 @@ let run (name, test) = let entry = E_app((Id "main"), [E_lit L_unit]) in eprintf "%s: starting\n" name; try + Printexc.record_backtrace true; loop (Reg.empty, Mem.empty) (interp test entry) with e -> - eprintf "%s: interpretor error %s\n" name (Printexc.to_string e) + let trace = Printexc.get_backtrace () in + eprintf "%s: interpretor error %s\n%s\n" name (Printexc.to_string e) trace ;; |