diff options
Diffstat (limited to 'src/options/booleans_options')
| -rw-r--r-- | src/options/booleans_options | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/options/booleans_options b/src/options/booleans_options new file mode 100644 index 000000000..2e2cbee1f --- /dev/null +++ b/src/options/booleans_options @@ -0,0 +1,11 @@ +# +# Option specification file for CVC4 +# See src/options/base_options for a description of this file format +# + +module BOOLEANS "options/booleans_options.h" Boolean theory + +option booleanTermConversionMode boolean-term-conversion-mode --boolean-term-conversion-mode=MODE CVC4::theory::booleans::BooleanTermConversionMode :default CVC4::theory::booleans::BOOLEAN_TERM_CONVERT_TO_BITVECTORS :include "options/boolean_term_conversion_mode.h" :handler CVC4::options::stringToBooleanTermConversionMode :handler-include "options/options_handler_interface.h" + policy for converting Boolean terms + +endmodule |