From e43b45b42ee786f4dd103aa68d67915504c1f59c Mon Sep 17 00:00:00 2001 From: ajreynol Date: Wed, 7 Dec 2016 14:09:57 -0600 Subject: Added cardinality to cvc language, fixes bug 753. Throw logic exception when using cardinality on sets with finite element type. --- test/regress/regress0/sets/Makefile.am | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'test/regress/regress0/sets') diff --git a/test/regress/regress0/sets/Makefile.am b/test/regress/regress0/sets/Makefile.am index f68b9b036..ab597350e 100644 --- a/test/regress/regress0/sets/Makefile.am +++ b/test/regress/regress0/sets/Makefile.am @@ -63,7 +63,8 @@ TESTS = \ union-1b.smt2 \ union-2.smt2 \ dt-simp-mem.smt2 \ - card3-ground.smt2 + card3-ground.smt2 \ + card-3sets.cvc EXTRA_DIST = $(TESTS) -- cgit v1.2.3