Skip to content

Commit 002eb9e

Browse files
committed
Add missing end of message in goto_bmc_parse_optionst::help
Running `goto-bmc --help` was previously resulting in the tool exiting without displaying help text. This was due to the incomplete message being cached, but never sent to the console output before exiting.
1 parent 92d4e38 commit 002eb9e

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/goto-bmc/goto_bmc_parse_options.cpp

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -100,4 +100,5 @@ void goto_bmc_parse_optionst::help()
100100
// NOLINTNEXTLINE(*)
101101
"goto-bmc [options] file.c ... perform bounded model checking on symex-ready goto-binary\n";
102102
// clang-format on
103+
log.status() << messaget::eom;
103104
}

0 commit comments

Comments
 (0)