diff options
Diffstat (limited to 'src/lem_interp/printing_functions.ml')
| -rw-r--r-- | src/lem_interp/printing_functions.ml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/lem_interp/printing_functions.ml b/src/lem_interp/printing_functions.ml index ee67c2c7..760b0a35 100644 --- a/src/lem_interp/printing_functions.ml +++ b/src/lem_interp/printing_functions.ml @@ -3,7 +3,7 @@ open Interp_ast ;; open Sail_impl_base ;; open Interp_utilities ;; open Interp_interface ;; -open Interp_inter_imp ;; + open Nat_big_num ;; @@ -498,3 +498,6 @@ let print_stack printer is = printer (instruction_stack_to_string is) let print_continuation printer (IState(stack,_)) = let (e,(env,mem)) = top_frame_exp_state stack in print_exp printer env true e let print_instruction printer instr = printer (instruction_to_string instr) + +let pp_instruction_state state () = + (instruction_stack_to_string state,local_variables_to_string state) |