diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-15 17:29:09 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-03-19 10:38:05 -0400 |
| commit | 035aaf3a248960e6bbe6a7350fa8e4ca86b35f94 (patch) | |
| tree | cd9cb21c00fba3bfb297afecb7e671df42ef246f /test/regress | |
| parent | 4edafb39fd8989238a01f3b0b925e191765799ad (diff) | |
Minor usability fixes related to SMT-LIB compliance.
Diffstat (limited to 'test/regress')
| -rw-r--r-- | test/regress/regress0/bug548a.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/bug548a.smt2 b/test/regress/regress0/bug548a.smt2 index 12658e507..75d82d98f 100644 --- a/test/regress/regress0/bug548a.smt2 +++ b/test/regress/regress0/bug548a.smt2 @@ -1,6 +1,6 @@ ; COMMAND-LINE: --rewrite-divk --tlimit 1000 ; EXPECT: unknown -(set-logic LIA) +(set-logic AUFLIA) (declare-fun f (Int) Int) |