From b81ffc3c1830c8b9bc8874a494ea1cc823c9b7d6 Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Thu, 29 May 2014 17:43:27 +0100
Subject: Check constraints in power.sail; this required using big_int instead
 of int to support 2**64.

Note: now nat (short hand for range<0,infinity>) should only be used if you really mean a nat instead of a bounded number (i.e. range<0,2**32>)
---
 src/lem_interp/run_interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/lem_interp')

diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
index 45768966..7e992e3a 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 = false} in
+  let mode = {eager_eval = true} in
   let rec loop env = function
   | Value (v, _) -> debugf "%s: returned %s\n" name (val_to_string v); true, env
   | Action (a, s) ->
-- 
cgit v1.2.3