@@ -69,19 +69,19 @@ void generate_function_bodies(
6969 message_handlert &message_handler);
7070
7171// clang-format off
72- #define OPT_REPLACE_FUNCTION_BODY \
73- " (generate-function-body):" \
72+ #define OPT_REPLACE_FUNCTION_BODY \
73+ " (generate-function-body):" \
7474 " (generate-function-body-options):"
7575
76- #define HELP_REPLACE_FUNCTION_BODY \
77- " --generate-function-body <regex>\n " \
76+ #define HELP_REPLACE_FUNCTION_BODY \
77+ " --generate-function-body <regex>\n " \
7878 /* NOLINTNEXTLINE(whitespace/line_length) */ \
7979 " Generate bodies for functions matching regex\n " \
80- " --generate-function-body-options <option>\n " \
81- " One of assert-false, assume-false,\n " \
80+ " --generate-function-body-options <option>\n " \
81+ " One of assert-false, assume-false,\n " \
8282 /* NOLINTNEXTLINE(whitespace/line_length) */ \
8383 " nondet-return, assert-false-assume-false and\n " \
84- " havoc[,params:<regex>][,globals:<regex>]\n " \
84+ " havoc[,params:<regex>][,globals:<regex>]\n " \
8585 " (default: nondet-return)"
8686// clang-format on
8787
0 commit comments