From 77192ccea1ea529e06c84660a8717ecd496ff92e Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 27 Jan 2016 11:07:43 +0000
Subject: start adding breakpoint

---
 src/lem_interp/run_with_elf.ml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src')

diff --git a/src/lem_interp/run_with_elf.ml b/src/lem_interp/run_with_elf.ml
index c0e699a0..58c24ab1 100644
--- a/src/lem_interp/run_with_elf.ml
+++ b/src/lem_interp/run_with_elf.ml
@@ -748,11 +748,14 @@ let initial_system_state_of_elf_file name =
     end
 
 let eager_eval = ref true
+let break_point = ref false
+let break_instr = ref 0
 
 let args = [
   ("--file", Arg.Set_string file, "filename binary code to load in memory");
   ("--quiet", Arg.Clear Run_interp_model.debug, "do not display interpreter actions");
   ("--interactive", Arg.Clear eager_eval , "interactive execution");
+  ("--breakpoint", Arg.Int (fun i -> break_point := true; break_instr:= i), "run to instruction number i, then run interactively");
 ]
 
 let time_it action arg =
-- 
cgit v1.2.3