diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/sail_lib.ml | 8 |
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 |