path: root/test/regress/regress0/rels/card_transpose.cvc

% EXPECT: unknown (INCOMPLETE)
OPTION "logic" "ALL_SUPPORTED";
IntPair: TYPE = [INT, INT];
x : SET OF IntPair;
ASSERT (CARD(TRANSPOSE(x)) > 0);
CHECKSAT;