Merge pull request #6932 from tautschnig/cleanup/no-show

Data-flow analyzers: don't document show-intervals, show-non-null

Author: tautschnig

jbmc/src/janalyzer/janalyzer_parse_options.cpp

@@ -759,9 +759,8 @@ void janalyzer_parse_optionst::help()
     "\n"
     "Domain options:\n"
     " --constants                  constant domain\n"
-    " --intervals, --show-intervals\n"
-    "                              interval domain\n"
-    " --non-null, --show-non-null  non-null domain\n"
+    " --intervals                  interval domain\n"
+    " --non-null                   non-null domain\n"
     " --dependence-graph           data and control dependencies between instructions\n" // NOLINT(*)
     "\n"
     "Output options:\n"

src/goto-analyzer/goto_analyzer_parse_options.cpp

@@ -743,9 +743,8 @@ void goto_analyzer_parse_optionst::help()
     "\n"
     "Domain options:\n"
     " --constants                  a constant for each variable if possible\n"
-    " --intervals, --show-intervals\n"
-    "                              an interval for each variable\n"
-    " --non-null, --show-non-null  tracks which pointers are non-null\n"
+    " --intervals                  an interval for each variable\n"
+    " --non-null                   tracks which pointers are non-null\n"
     " --dependence-graph           data and control dependencies between instructions\n" // NOLINT(*)
     " --vsd, --variable-sensitivity\n"
     "                              a configurable non-relational domain\n"