diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-04-15 08:37:46 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-15 08:37:46 -0500 |
commit | 681fece601a4f156f2d39b4813d16535b7e2cee3 (patch) | |
tree | f2d39cffdb307ad21277d8cd3c815eb443a1fb77 /examples/translator.cpp | |
parent | 42c765eb255e5bfa65682cd812973f0f3c90017c (diff) |
Change option names --default-dag-thresh and --default-expr-depth (#4309)
Diffstat (limited to 'examples/translator.cpp')
-rw-r--r-- | examples/translator.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/examples/translator.cpp b/examples/translator.cpp index 741706070..4bdecf7ef 100644 --- a/examples/translator.cpp +++ b/examples/translator.cpp @@ -47,7 +47,7 @@ const struct option longopts[] = { { "output-language", required_argument, NULL, OUTPUT_LANG }, { "expand-definitions", no_argument, NULL, EXPAND_DEFINITIONS }, { "combine-assertions", no_argument, NULL, COMBINE_ASSERTIONS }, - { "default-dag-thresh", required_argument, NULL, DEFAULT_DAG_THRESH }, + { "dag-thresh", required_argument, NULL, DEFAULT_DAG_THRESH }, { "lang", required_argument, NULL, INPUT_LANG }, { "language", required_argument, NULL, INPUT_LANG }, { "out", required_argument, NULL, OUTPUT_FILE }, @@ -60,7 +60,7 @@ static void showHelp() { << " --output-language | -O set output language (default smt2)" << endl << " --input-language | -L set input language (default auto)" << endl << " --out | -o set output file (- for stdout)" << endl - << " --default-dag-thresh=N set DAG threshold" << endl + << " --dag-thresh=N set DAG threshold" << endl << " --expand-definitions expand define-funs" << endl << " --combine-assertions combine all assertions into one" << endl << " --help | -h this help" << endl @@ -237,14 +237,14 @@ int main(int argc, char* argv[]) { break; case DEFAULT_DAG_THRESH: { if(!isdigit(*optarg)) { - cerr << "error: --default-dag-thresh requires non-negative argument: `" + cerr << "error: --dag-thresh requires non-negative argument: `" << optarg << "' invalid." << endl; exit(1); } char* end; unsigned long ul = strtoul(optarg, &end, 10); if(errno != 0 || *end != '\0') { - cerr << "error: --default-dag-thresh argument malformed: `" + cerr << "error: --dag-thresh argument malformed: `" << optarg << "'." << endl; exit(1); } |