start adding breakpoint

1 files changed, 3 insertions, 0 deletions

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 =