From 95404cb739d5bdab332b4030aba3c17d9ffd8fcb Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Fri, 8 Dec 2023 10:38:06 +0000 Subject: [PATCH] Add missing positive checks back into goto-instrument --- src/goto-instrument/goto_instrument_parse_options.cpp | 1 + 1 file changed, 1 insertion(+) diff --git a/src/goto-instrument/goto_instrument_parse_options.cpp b/src/goto-instrument/goto_instrument_parse_options.cpp index 55721374ce6..e2e8fd5f355 100644 --- 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