Skip to content

Commit 1abed03

Browse files
authored
Merge pull request #6307 from martin-cs/fix/VSD-help-text
Formatting fixes for the help text for VSD
2 parents fc165c1 + 7ebe139 commit 1abed03

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/analyses/variable-sensitivity/variable_sensitivity_domain.h

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -85,13 +85,13 @@
8585
// clang-format off
8686
#define HELP_VSD \
8787
" --vsd-values value tracking - " \
88-
"constants|intervals|set-of-constants\n" /* NOLINT(whitespace/line_length) */ \
88+
"constants|intervals|set-of-constants\n" /* NOLINT(whitespace/line_length) */\
8989
" --vsd-structs struct field sensitive analysis - " \
9090
"top-bottom|every-field\n" /* NOLINT(whitespace/line_length) */ \
9191
" --vsd-arrays array entry sensitive analysis - " \
9292
"top-bottom|smash|up-to-n-elements|every-element\n" /* NOLINT(whitespace/line_length) */ \
9393
" --vsd-array-max-elements the n in --vsd-arrays up-to-n-elements - " \
94-
"defaults 10 if not given" /* NOLINT(whitespace/line_length) */ \
94+
"defaults 10 if not given\n" /* NOLINT(whitespace/line_length) */ \
9595
" --vsd-pointers pointer sensitive analysis - " \
9696
"top-bottom|constants|value-set\n" /* NOLINT(whitespace/line_length) */ \
9797
" --vsd-unions union sensitive analysis - top-bottom\n" \

0 commit comments

Comments
 (0)