1 files changed, 29 insertions, 0 deletions
diff --git a/src/lem_interp/run_interp.ml b/src/lem_interp/run_interp.ml
new file mode 100644
index 00000000..2d5ff230
--- /dev/null
+++ b/src/lem_interp/run_interp.ml
@@ -0,0 +1,29 @@
+open Printf ;;
+open Interp_ast ;;
+open Interp ;;
+
+let val_to_string = function
+ (*
+ | V_boxref of nat 
+ | V_lit of lit
+ | V_tuple of list value
+ | V_list of list value
+ | V_vector of nat * bool * list value (* The nat stores the first index, the bool whether that's most or least significant *)
+ | V_record of list (id * value)
+ | V_ctor of id * value
+ *)
+ | _ -> "*** value pretty-printing not implemented ***"
+;;
+
+let act_to_string = function
+ | Read_reg _ -> "read_reg"
+ | Write_reg _ -> "write_reg"
+ | Read_mem _ -> "read_mem"
+ | Write_mem _ -> "write_mem"
+;;
+
+let run (name, test) = match interp test (E_block []) with
+ | Value v -> eprintf "%s: returned %s\n" name (val_to_string v)
+ | Action (a, s) -> eprintf "%s: suspended on action %s\n" name (act_to_string a)
+ | Error e -> eprintf "%s: error: %s\n" name e
+;;