diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 18:51:34 +0000 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-06-14 18:51:34 +0000 |
| commit | 31e1f3402d4cd3da7cdfabc440c3b622432849b8 (patch) | |
| tree | f8d08f29f00a81c9eb936760ef2e35948181b581 /test/regress/regress0/decision/quant-ex1.smt2.expect | |
| parent | 86b8b53afbbd2259e297709c99d594a79927184a (diff) | |
fix quantifier non-bug
Diffstat (limited to 'test/regress/regress0/decision/quant-ex1.smt2.expect')
| -rw-r--r-- | test/regress/regress0/decision/quant-ex1.smt2.expect | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test/regress/regress0/decision/quant-ex1.smt2.expect b/test/regress/regress0/decision/quant-ex1.smt2.expect index 66f5e51ba..38a730c57 100644 --- a/test/regress/regress0/decision/quant-ex1.smt2.expect +++ b/test/regress/regress0/decision/quant-ex1.smt2.expect @@ -1,3 +1,3 @@ -% COMMAND-LINE: --decision=justificationo -% EXPECT: unknown (INCOMPLETE) -% EXIT: 0 +% COMMAND-LINE: --decision=justification +% EXPECT: sat +% EXIT: 10 |