diff options
Diffstat (limited to 'test/regress/regress1/rels/joinImg_1.cvc.smt2')
| -rw-r--r-- | test/regress/regress1/rels/joinImg_1.cvc.smt2 | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/regress/regress1/rels/joinImg_1.cvc.smt2 b/test/regress/regress1/rels/joinImg_1.cvc.smt2 index 4d7c56000..457e66cef 100644 --- a/test/regress/regress1/rels/joinImg_1.cvc.smt2 +++ b/test/regress/regress1/rels/joinImg_1.cvc.smt2 @@ -12,7 +12,7 @@ (declare-fun c () Atom) (declare-fun d () Atom) (declare-fun e () Atom) -(assert (member (tuple a) (join_image x 2))) -(assert (= x (union (union (singleton (tuple b c)) (singleton (tuple d e))) (singleton (tuple c e))))) +(assert (set.member (tuple a) (rel.join_image x 2))) +(assert (= x (set.union (set.union (set.singleton (tuple b c)) (set.singleton (tuple d e))) (set.singleton (tuple c e))))) (assert (not (= a b))) (check-sat) |