Skip to content

Commit 38f376f

Browse files
committed
goto-instrument: remove --check-invariant from help output
This option was added to help output in ab65b86, but it seems this was just a merge error as otherwise that commit had nothing to do with such an option. No code implementing this option is known. Fixes: #5227
1 parent a0d4239 commit 38f376f

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/goto-instrument/goto_instrument_parse_options.cpp

-1
Original file line numberDiff line numberDiff line change
@@ -1819,7 +1819,6 @@ void goto_instrument_parse_optionst::help()
18191819
" --nondet-static add nondeterministic initialization of variables with static lifetime\n" // NOLINT(*)
18201820
" --nondet-static-exclude e same as nondet-static except for the variable e\n" //NOLINT(*)
18211821
" (use multiple times if required)\n"
1822-
" --check-invariant function instruments invariant checking function\n"
18231822
" --function-enter <f>, --function-exit <f>, --branch <f>\n"
18241823
" instruments a call to <f> at the beginning,\n" // NOLINT(*)
18251824
" the exit, or a branch point, respectively\n"

0 commit comments

Comments
 (0)