From 2ab53d6ef4890eb1330687e655958a6b8d653a80 Mon Sep 17 00:00:00 2001
From: Gabriel Kerneis
Date: Thu, 5 Jun 2014 16:23:55 +0100
Subject: Enable single-stepping for test/power.sail

---
 src/lem_interp/run_interp.ml | 3 ++-
 src/test/run_power.ml        | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'src')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 7e992e3a..96055c43 100644
--- a/src/lem_interp/run_interp.ml
+++ b/src/lem_interp/run_interp.ml
@@ -213,8 +213,9 @@ let run
   ?(entry=E_aux(E_app(Id_aux((Id "main"),Unknown), [E_aux(E_lit (L_aux(L_unit,Unknown)),(Unknown,None))]),(Unknown,None)))
   ?(reg=Reg.empty)
   ?(mem=Mem.empty)
+  ?(eager_eval=true)
   (name, test) =
-  let mode = {eager_eval = true} in
+  let mode = {eager_eval} in
   let rec loop env = function
   | Value (v, _) -> debugf "%s: returned %s\n" name (val_to_string v); true, env
   | Action (a, s) ->
diff --git a/src/test/run_power.ml b/src/test/run_power.ml
index 9ac1bbaa..1400769f 100644
--- a/src/test/run_power.ml
+++ b/src/test/run_power.ml
@@ -99,7 +99,7 @@ let get_reg reg name =
 
 let rec fde_loop count entry mem reg prog =
   debugf "\n**** cycle %d  ****\n" count;
-  match Run_interp.run ~entry ~mem ~reg prog with
+  match Run_interp.run ~entry ~mem ~reg ~eager_eval:false prog with
   | false, _ -> eprintf "FAILURE\n"; exit 1
   | true, (reg, mem) ->
       if Big_int.eq_big_int (get_reg reg "CIA") lr_init_value then
-- 
cgit v1.2.3