Align and reformat long lines

Author: zhassan-aws

src/goto-instrument/contracts/dynamic-frames/dfcc.h

@@ -58,8 +58,9 @@ class optionst;
 
 // clang-format off
 #define HELP_DFCC                                                              \
-  " --dfcc <harness>   activate dynamic frame condition checking for function\n"\
-  "                    contracts using the given harness as entry point\n"
+  " --dfcc <harness>             activate dynamic frame condition checking\n"\
+  "                              for function contracts using the given\n"\
+  "                              harness as entry point\n"
 
 #define FLAG_ENFORCE_CONTRACT_REC "enforce-contract-rec"
 #define OPT_ENFORCE_CONTRACT_REC "(" FLAG_ENFORCE_CONTRACT_REC "):"

src/goto-instrument/goto_instrument_parse_options.cpp

@@ -1980,11 +1980,11 @@ void goto_instrument_parse_optionst::help()
     "                              used with aggressive-slice, preserves all functions within <n> function calls\n" // NOLINT(*)
     "                              of the functions on the shortest path\n"
     " --aggressive-slice-preserve-function <f>\n"
-    "                             force the aggressive slicer to preserve function <f>\n" // NOLINT(*)
+    "                              force the aggressive slicer to preserve function <f>\n" // NOLINT(*)
     " --aggressive-slice-preserve-functions-containing <f>\n"
     "                              force the aggressive slicer to preserve all functions with names containing <f>\n" // NOLINT(*)
     " --aggressive-slice-preserve-all-direct-paths \n"
-    "                             force aggressive slicer to preserve all direct paths\n" // NOLINT(*)
+    "                              force aggressive slicer to preserve all direct paths\n" // NOLINT(*)
     "\n"
     "Code contracts:\n"
     HELP_DFCC