diff options
Diffstat (limited to 'test/regress/regress2/quantifiers/syn874-1.smt2')
| -rw-r--r-- | test/regress/regress2/quantifiers/syn874-1.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress2/quantifiers/syn874-1.smt2 b/test/regress/regress2/quantifiers/syn874-1.smt2 index 93de3aca6..1db06abcd 100644 --- a/test/regress/regress2/quantifiers/syn874-1.smt2 +++ b/test/regress/regress2/quantifiers/syn874-1.smt2 @@ -58,7 +58,7 @@ (declare-fun ssPv2_19r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ($$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted) Bool) (declare-fun ssPv11_10r1r1r1r1r1r1r1r1r1r1 ($$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted) Bool) (declare-fun ssPv1_20r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1r1 ($$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted $$unsorted) Bool) -(meta-info :filename "SYN874-1") +(set-info :filename "SYN874-1") (assert true) (assert (forall ((U $$unsorted)) (ssNder1_1r1 U) )) (assert (forall ((U $$unsorted) (V $$unsorted)) (or (not (ssNder1_1r1 U)) (ssNder1_2r1r1 U V)) )) |