diff options
| -rw-r--r-- | src/lem_interp/run_interp.ml | 3 | ||||
| -rw-r--r-- | src/test/run_power.ml | 2 |
2 files changed, 3 insertions, 2 deletions
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 |