From 9c55be14fb3f5030eae446387bf673b6d44a35fd Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Apr 2015 10:56:40 -0700 Subject: [PATCH] change print parameters to use hyphen instead of namespace dots Signed-off-by: Nikolaj Bjorner --- src/muz/base/fixedpoint_params.pyg | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/src/muz/base/fixedpoint_params.pyg b/src/muz/base/fixedpoint_params.pyg index 87fd4e2af..dc3eefc14 100644 --- a/src/muz/base/fixedpoint_params.pyg +++ b/src/muz/base/fixedpoint_params.pyg @@ -101,23 +101,23 @@ def_module_params('fixedpoint', ('pdr.try_minimize_core', BOOL, False, "try to reduce core size (before inductive minimization)"), ('pdr.utvpi', BOOL, True, 'Enable UTVPI strategy'), - ('print.fixedpoint_extensions', BOOL, True, + ('print_fixedpoint_extensions', BOOL, True, "use SMT-LIB2 fixedpoint extensions, instead of pure SMT2, " + "when printing rules"), - ('print.low_level_smt2', BOOL, False, + ('print_low_level_smt2', BOOL, False, "use (faster) low-level SMT2 printer (the printer is scalable " + "but the result may not be as readable)"), - ('print.with_variable_declarations', BOOL, True, + ('print_with_variable_declarations', BOOL, True, "use variable declarations when displaying rules " + "(instead of attempting to use original names)"), - ('print.answer', BOOL, False, 'print answer instance(s) to query'), - ('print.certificate', BOOL, False, + ('print_answer', BOOL, False, 'print answer instance(s) to query'), + ('print_certificate', BOOL, False, 'print certificate for reachability or non-reachability'), - ('print.boogie_certificate', BOOL, False, + ('print_boogie_certificate', BOOL, False, 'print certificate for reachability or non-reachability using a ' + 'format understood by Boogie'), - ('print.statistics', BOOL, False, 'print statistics'), - ('print.aig', SYMBOL, '', + ('print_statistics', BOOL, False, 'print statistics'), + ('print_aig', SYMBOL, '', 'Dump clauses in AIG text format (AAG) to the given file name'), ('tab.selection', SYMBOL, 'weight', 'selection method for tabular strategy: weight (default), first, var-use'),