From 8e8df5b7c6f914651d1da5baa4cb2b3c058da720 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Thu, 21 Nov 2019 13:10:02 +0000
Subject: Implement -cycle-limit option for OCaml emulator similar to one for
 C.

---
 src/sail_lib.ml | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'src')

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index 8251f9b4..03994657 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -17,6 +17,14 @@ let opt_trace = ref false
 let trace_depth = ref 0
 let random = ref false
 
+
+let opt_cycle_limit = ref 0
+let cycle_count = ref 0
+
+let cycle_limit_reached () = 
+  cycle_count := !cycle_count + 1;
+  !opt_cycle_limit != 0 && !cycle_count >= !opt_cycle_limit
+
 let sail_call (type t) (f : _ -> t) =
   let module M =
     struct exception Return of t end
-- 
cgit v1.2.3