Add missing positive checks back into goto-instrument

diffblue · Dec 8, 2023 · 95404cb · 95404cb
1 parent 71cda7c
commit 95404cb
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp
@@ -1026,6 +1026,7 @@ void goto_instrument_parse_optionst::instrument_goto_program()
     options.set_option("simplify", true);
 
   // all checks supported by goto_check
+  PARSE_OPTIONS_GOTO_CHECK_POSITIVE_DEFAULT_CHECKS(cmdline, options);
   PARSE_OPTIONS_GOTO_CHECK(cmdline, options);
 
   // initialize argv with valid pointers