diff options
| -rw-r--r-- | src/jib/jib_smt.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jib/jib_smt.ml b/src/jib/jib_smt.ml index 04546e3e..1c6c12ce 100644 --- a/src/jib/jib_smt.ml +++ b/src/jib/jib_smt.ml @@ -1518,7 +1518,7 @@ let smt_cdef props lets name_file ctx all_cdefs = function output_string out_chan "(get-model)\n"; close_out out_chan; - if prop_type = "counterexample" then + if prop_type = "counterexample" && !opt_auto then check_counterexample fname args | _ -> failwith "Bad function body" |