projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 60ae9e3)
Fix incorrectly-labeled test.
authorMorgan Deters <mdeters@cs.nyu.edu>
Fri, 22 Aug 2014 20:34:48 +0000 (16:34 -0400)
committerMorgan Deters <mdeters@cs.nyu.edu>
Fri, 22 Aug 2014 21:02:24 +0000 (17:02 -0400)
test/regress/regress0/unconstrained/arith4.smt2 patch | blob | history

diff --git a/test/regress/regress0/unconstrained/arith4.smt2 b/test/regress/regress0/unconstrained/arith4.smt2
index 8cb825a8d87bd8f2b1e01811b6ea4b972a5dac7a..2b06d5ea8a060688b5860240b1e2047bfb58de68 100644 (file)
--- a/test/regress/regress0/unconstrained/arith4.smt2
+++ b/test/regress/regress0/unconstrained/arith4.smt2
@@ -1,4 +1,4 @@
-(set-logic QF_AUFLIRA)
+(set-logic QF_AUFNIRA)
 (set-info :smt-lib-version 2.0)
 (set-info :category "crafted")
 (set-info :status unsat)