diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-03-31 08:39:21 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-31 08:39:21 -0500 |
| commit | 501894d709c19aebcaed1bd43e506501a8bbd69b (patch) | |
| tree | a9d3316ebd5d671157f86722df16093599546afc | |
| parent | bc4055d4543f3b697ade38b810f7ac3cf02dc3c8 (diff) | |
Fixing regressions (#4189)
An option was recently deleted, forgot to disable it from a regression. Fixes a failure in regress1.
| -rw-r--r-- | test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 b/test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 index 9c3fe7ac5..471cc519b 100644 --- a/test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 +++ b/test/regress/regress2/sygus/issue4022-conjecture-gen.smt2 @@ -2,7 +2,6 @@ (set-option :conjecture-filter-model true) (set-option :conjecture-gen true) (set-option :conjecture-no-filter true) -(set-option :dt-ref-sk-intro true) (set-option :quant-ind true) (set-option :sygus-inference true) (set-info :status sat) |