Merge pull request #7563 from zhassan-aws/fix-contracts-help

Minor formatting fix to contracts help

Author: tautschnig

Diff for: src/goto-instrument/contracts/dynamic-frames/dfcc.h

@@ -58,16 +58,17 @@ 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"
+  " --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 "):"
 #define HELP_ENFORCE_CONTRACT_REC                                              \
   " --enforce-contract-rec <function>[/<contract>]"                            \
   "                               wrap fun with an assertion of the contract\n"\
   "                               and assume recursive calls to fun satisfy \n"\
-  "                               the contract"
+  "                               the contract\n"
 // clang-format on
 
 /// Exception thrown for bad function/contract specification pairs passed on

Diff for: 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