From 669ced036bc511f6c75b91a9abb3dd3f607cf0a1 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Tue, 18 Feb 2014 16:56:05 +0000
Subject: Report failing tests and return 1 in case of error

---
 src/lem_interp/run_interp.ml | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 1c3c76d6..2440f60f 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -157,14 +157,14 @@ let perform_action ((reg, mem) as env) = function
 
 let run (name, test) =
   let rec loop env = function
-  | Value v -> eprintf "%s: returned %s\n" name (val_to_string v)
+  | Value v -> eprintf "%s: returned %s\n" name (val_to_string v); true
   | Action (a, s) ->
       eprintf "%s: suspended on action %s\n" name (act_to_string a);
       (*eprintf "%s: suspended on action %s, with stack %s\n" name (act_to_string a) (stack_to_string s);*)
       let return, env' = perform_action env a in
       eprintf "%s: action returned %s\n" name (val_to_string return);
       loop env' (resume test s return)
-  | Error e -> eprintf "%s: error: %s\n" name e in
+  | Error e -> eprintf "%s: error: %s\n" name e; false in
   let entry = E_app((Id "main"), [E_lit L_unit]) in
   eprintf "%s: starting\n" name;
   try
@@ -172,5 +172,6 @@ let run (name, test) =
     loop (Reg.empty, Mem.empty) (interp test entry)
   with e ->
     let trace = Printexc.get_backtrace () in
-    eprintf "%s: interpretor error %s\n%s\n" name (Printexc.to_string e) trace
+    eprintf "%s: interpretor error %s\n%s\n" name (Printexc.to_string e) trace;
+    false
 ;;
-- 
cgit v1.2.3