diff options
Diffstat (limited to 'src/sail.ml')
| -rw-r--r-- | src/sail.ml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/sail.ml b/src/sail.ml index 179c1a67..6f3833da 100644 --- a/src/sail.ml +++ b/src/sail.ml @@ -127,6 +127,12 @@ let options = Arg.align ([ ( "-smt", set_target "smt", " print SMT translated version of input"); + ( "-smt_ignore_overflow", + Arg.Set Jib_smt.ignore_overflow, + " ignore integer overflow in generated SMT"); + ( "-smt_int_size", + Arg.String (fun n -> Jib_smt.lint_size := int_of_string n), + " set a bound on the maximum integer bitwidth"); ( "-c", Arg.Tuple [set_target "c"; Arg.Set Initial_check.opt_undefined_gen], " output a C translated version of the input"); |