Add some initial exception handling to the riscv execution loop.

1 files changed, 3 insertions, 0 deletions

diff --git a/src/sail_lib.ml b/src/sail_lib.ml
index f0ea7fb4..7a8dc88c 100644
--- a/src/sail_lib.ml
+++ b/src/sail_lib.ml
@@ -469,6 +469,9 @@ let print_int (str, x) =
 let print_bits (str, xs) =
   print_endline (str ^ string_of_bits xs)
 
+let print_string(str, msg) =
+  print_endline (str ^ msg)
+
 let reg_deref r = !r
 
 let string_of_zbit = function