Implement -cycle-limit option for OCaml emulator similar to one for C.

1 files changed, 8 insertions, 0 deletions

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