diff options
Diffstat (limited to 'test/regress/regress1/sygus-abduct-test-user.smt2')
| -rw-r--r-- | test/regress/regress1/sygus-abduct-test-user.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress1/sygus-abduct-test-user.smt2 b/test/regress/regress1/sygus-abduct-test-user.smt2 index bdb680613..4b7870c78 100644 --- a/test/regress/regress1/sygus-abduct-test-user.smt2 +++ b/test/regress/regress1/sygus-abduct-test-user.smt2 @@ -14,9 +14,9 @@ ; Generate a predicate A that is consistent with the above axioms (i.e. ; their conjunction is SAT), and is such that the conjunction of the above -; axioms, A and the conjecture below are UNSAT. +; axioms, A and the negation of the conjecture below are UNSAT. ; The signature of A is below grammar. -(get-abduct A (< x y) +(get-abduct A (not (< x y)) ; the grammar for the abduct-to-synthesize ((Start Bool) (StartInt Int)) |