From 388f4a2e2299d2283d1d7179ea1722a907ef0759 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Fri, 6 Dec 2013 10:31:09 +0000
Subject: Output test name on start

---
 src/lem_interp/run_interp.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 622bdbaa..f39a52bf 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -93,5 +93,6 @@ let run (name, test) =
       loop env' (resume test s return)
   | Error e -> eprintf "%s: error: %s\n" name e in
   let entry = E_app((Id "main"), [E_lit L_unit]) in
+  eprintf "%s: starting\n" name;
   loop (Reg.empty, Mem.empty) (interp test entry)
 ;;
-- 
cgit v1.2.3