From 0f56baeb5a6f89a3dde5c97ba34fcb5026928481 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Wed, 15 Jun 2022 09:34:10 +0000 Subject: [PATCH] Data-flow analyzers: don't document show-intervals, show-non-null These are deprecated and users should be using --show --intervals and --show --non-null, respectively. --- jbmc/src/janalyzer/janalyzer_parse_options.cpp | 5 ++--- src/goto-analyzer/goto_analyzer_parse_options.cpp | 5 ++--- 2 files changed, 4 insertions(+), 6 deletions(-) diff --git a/jbmc/src/janalyzer/janalyzer_parse_options.cpp b/jbmc/src/janalyzer/janalyzer_parse_options.cpp index f978723d32f..2dee778f015 100644 --- a/jbmc/src/janalyzer/janalyzer_parse_options.cpp +++ b/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" diff --git a/src/goto-analyzer/goto_analyzer_parse_options.cpp b/src/goto-analyzer/goto_analyzer_parse_options.cpp index efeedbc66db..9d073a459f8 100644 --- a/src/goto-analyzer/goto_analyzer_parse_options.cpp +++ b/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"