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.

---
 lib/main.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'lib')

diff --git a/lib/main.ml b/lib/main.ml
index c1b6fcae..a3541c69 100644
--- a/lib/main.ml
+++ b/lib/main.ml
@@ -60,7 +60,8 @@ let options = Arg.align [
         | [fname;addr] -> (fname, Nat_big_num.of_string addr)
         | _ -> raise (Arg.Bad (s ^ " not of form <filename>@<addr>")) in
       opt_raw_files := (file, addr) :: !opt_raw_files),
-    "<file@0xADDR> load a raw binary in memory at given address.")]
+      "<file@0xADDR> load a raw binary in memory at given address.");
+    ("-cycle-limit", Arg.Set_int (Sail_lib.opt_cycle_limit), "<int> exit after given number of instructions executed.")]
 
 let usage_msg = "Sail OCaml RTS options:"
 
-- 
cgit v1.2.3