diff options
| author | Kathy Gray | 2014-06-07 13:06:23 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-06-07 13:06:23 +0100 |
| commit | 328e4fdd056abe1dba34863e389fdd9c4999fa07 (patch) | |
| tree | e2ce4664235fd0492e59029be4a0c53955f3a460 /src/lem_interp/run_interp.ml | |
| parent | 1e307b6c84c41cc4c93352bd358bf41200f3e413 (diff) | |
Add optional overloading on expected return type to fix bug in constraint solving; get test_power running again by supporting the correct operations and bit operations
Diffstat (limited to 'src/lem_interp/run_interp.ml')
| -rw-r--r-- | src/lem_interp/run_interp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml index 7e992e3a..45768966 100644 --- a/src/lem_interp/run_interp.ml +++ b/src/lem_interp/run_interp.ml @@ -214,7 +214,7 @@ let run ?(reg=Reg.empty) ?(mem=Mem.empty) (name, test) = - let mode = {eager_eval = true} in + let mode = {eager_eval = false} in let rec loop env = function | Value (v, _) -> debugf "%s: returned %s\n" name (val_to_string v); true, env | Action (a, s) -> |