diff options
Diffstat (limited to 'test/regress/regress1/rels/joinImg_0_2.cvc.smt2')
| -rw-r--r-- | test/regress/regress1/rels/joinImg_0_2.cvc.smt2 | 20 |
1 files changed, 10 insertions, 10 deletions
diff --git a/test/regress/regress1/rels/joinImg_0_2.cvc.smt2 b/test/regress/regress1/rels/joinImg_0_2.cvc.smt2 index 86fc76670..6c822db5b 100644 --- a/test/regress/regress1/rels/joinImg_0_2.cvc.smt2 +++ b/test/regress/regress1/rels/joinImg_0_2.cvc.smt2 @@ -18,14 +18,14 @@ (declare-fun a () (Tuple Int Int)) (assert (= a (tuple 1 5))) (declare-fun b () Int) -(assert (member (tuple 1 7) x)) -(assert (member z x)) -(assert (member (tuple 7 5) y)) -(assert (= t (join_image x 2))) -(assert (= univ (join_image x 0))) -(assert (member (tuple 100) t)) -(assert (not (member (tuple 3) univ))) -(assert (= u (join_image x 1))) -(assert (member (tuple 4) (join_image x 2))) -(assert (member (tuple b) (join_image x 1))) +(assert (set.member (tuple 1 7) x)) +(assert (set.member z x)) +(assert (set.member (tuple 7 5) y)) +(assert (= t (rel.join_image x 2))) +(assert (= univ (rel.join_image x 0))) +(assert (set.member (tuple 100) t)) +(assert (not (set.member (tuple 3) univ))) +(assert (= u (rel.join_image x 1))) +(assert (set.member (tuple 4) (rel.join_image x 2))) +(assert (set.member (tuple b) (rel.join_image x 1))) (check-sat) |