diff options
| author | Gabriel Kerneis | 2014-06-05 16:23:55 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-05 16:24:00 +0100 |
| commit | 2ab53d6ef4890eb1330687e655958a6b8d653a80 (patch) | |
| tree | 7f95234a8a59e8c52fb4a0f88a5883c680d40925 /src/test | |
| parent | 7e061b6b947be6264baeb759985a657b4ab8ec29 (diff) | |
Enable single-stepping for test/power.sail
Diffstat (limited to 'src/test')
| -rw-r--r-- | src/test/run_power.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 |