diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 14:21:13 +0200 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2015-09-18 14:21:13 +0200 |
| commit | eee182ae7479d688aec42f630d2aa6b2636cc2f9 (patch) | |
| tree | 5eb86c02e8702173e863b774c9ba1df724034fcd /src/theory | |
| parent | 1aaf70f23d8f2061e5c05ca98d12deea06494a25 (diff) | |
More work mixing UF and sygus.
Diffstat (limited to 'src/theory')
| -rw-r--r-- | src/theory/datatypes/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/datatypes/options b/src/theory/datatypes/options index 592e9e67e..6da0fe244 100644 --- a/src/theory/datatypes/options +++ b/src/theory/datatypes/options @@ -9,7 +9,7 @@ module DATATYPES "theory/datatypes/options.h" Datatypes theory # then we do not rewrite such a selector term to an arbitrary ground term. # For example, by default cvc4 considers cdr( nil ) = nil. If this option is set, then # cdr( nil ) has no set value. -expert-option dtRewriteErrorSel --dt-rewrite-error-sel bool :default false +expert-option dtRewriteErrorSel --dt-rewrite-error-sel bool :default false :read-write rewrite incorrectly applied selectors to arbitrary ground term option dtForceAssignment --dt-force-assignment bool :default false :read-write force the datatypes solver to give specific values to all datatypes terms before answering sat |