X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Felemequalunsattest.cc;h=e179bae74f49fbf483b74dfc62b8ceef7f22df91;hb=50d8f27a7eb47d7398e14252895a656dbeed5c6a;hp=cd35ba7d42c1ca84011bb65bc8f86fc9cd521e83;hpb=7fb0eb9a3dcf843f413d858e1cf66e9e13de200f;p=satune.git

diff --git a/src/Test/elemequalunsattest.cc b/src/Test/elemequalunsattest.cc
index cd35ba7..e179bae 100644
--- a/src/Test/elemequalunsattest.cc
+++ b/src/Test/elemequalunsattest.cc
@@ -14,12 +14,11 @@ int main(int numargs, char **argv) {
 	Set *s2 = solver->createSet(0, set2, 2);
 	Element *e1 = solver->getElementVar(s1);
 	Element *e2 = solver->getElementVar(s2);
-	Set *domain[] = {s1, s2};
-	Predicate *equals = solver->createPredicateOperator(SATC_EQUALS, domain, 2);
+	Predicate *equals = solver->createPredicateOperator(SATC_EQUALS);
 	Element *inputs[] = {e1, e2};
-	Boolean *b = solver->applyPredicate(equals, inputs, 2);
+	BooleanEdge b = solver->applyPredicate(equals, inputs, 2);
 	solver->addConstraint(b);
-
+	solver->serialize();
 	if (solver->solve() == 1)
 		printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
 	else