add command line argument for setting undef values to all zero or all one. Some tests intentionally produce undefined values (e.g. divide by zero) and this might be required for them to work.

1 files changed, 1 insertions, 0 deletions

diff --git a/mips/run_embed.ml b/mips/run_embed.ml
index 0386c981..e967eb1c 100644
--- a/mips/run_embed.ml
+++ b/mips/run_embed.ml
@@ -74,6 +74,7 @@ let args = [
   ("--max_instruction", Arg.Int (fun i -> max_cut_off := true; max_instr := i), "only run i instructions, then stop");
   ("--trace", Arg.Set trace_writes, "trace all register writes"); (* trace_writes is in sail_values.ml *)
   ("--quiet", Arg.Clear interact_print, "suppress trace of PC");
+  ("--undef", Arg.String (fun s -> undef_val := bit_of_string s), "value to use for undef (u,0,1)");
 ]
 
 module type ISA_model = sig