From 87c471be5794ddfaf285ac3cb27eaeae6c8a267c Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Wed, 7 Dec 2016 21:02:21 -0600
Subject: [PATCH] Add missing regression

---
 test/regress/regress0/sets/card-3sets.cvc | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 test/regress/regress0/sets/card-3sets.cvc

diff --git a/test/regress/regress0/sets/card-3sets.cvc b/test/regress/regress0/sets/card-3sets.cvc
new file mode 100644
index 000000000..cac10f39c
--- /dev/null
+++ b/test/regress/regress0/sets/card-3sets.cvc
@@ -0,0 +1,9 @@
+% EXPECT: sat
+OPTION "logic" "ALL_SUPPORTED";
+x : SET OF INT;
+y : SET OF INT;
+z : SET OF INT;
+
+ASSERT CARD( x ) > CARD( y ) AND CARD( y ) > CARD( z );
+
+CHECKSAT;
-- 
2.30.2