@@ -69,19 +69,19 @@ void generate_function_bodies(
69
69
message_handlert &message_handler);
70
70
71
71
// clang-format off
72
- #define OPT_REPLACE_FUNCTION_BODY \
73
- " (generate-function-body):" \
72
+ #define OPT_REPLACE_FUNCTION_BODY \
73
+ " (generate-function-body):" \
74
74
" (generate-function-body-options):"
75
75
76
- #define HELP_REPLACE_FUNCTION_BODY \
77
- " --generate-function-body <regex>\n " \
76
+ #define HELP_REPLACE_FUNCTION_BODY \
77
+ " --generate-function-body <regex>\n " \
78
78
/* NOLINTNEXTLINE(whitespace/line_length) */ \
79
79
" 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 " \
82
82
/* NOLINTNEXTLINE(whitespace/line_length) */ \
83
83
" nondet-return, assert-false-assume-false and\n " \
84
- " havoc[,params:<regex>][,globals:<regex>]\n " \
84
+ " havoc[,params:<regex>][,globals:<regex>]\n " \
85
85
" (default: nondet-return)"
86
86
// clang-format on
87
87
0 commit comments