Skip to content

Commit 7ebe139

Browse files
author
martin
committed
Formatting fixes for the help text for VSD
1 parent 24dd735 commit 7ebe139

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)