X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fltelemconsttest.cc;h=d666833912576a3f27f3bafcd2153e999e1e9c62;hp=c85782840dd0469dbe8807a63c6c087f34cdae02;hb=927b6bf9fc31106ddc731af427dc1b4b621a1d27;hpb=1bbedcc6a785d0cef637350b1f2f624b290f149f

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index c857828..d666833 100644
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -9,17 +9,17 @@ int main(int numargs, char **argv) {
 	CSolver *solver = new CSolver();
 	uint64_t set1[] = {5};
 	uint64_t set3[] = {1, 3, 4, 6};
-	Set *s1 = solver->createSet(0, set1, 3);
+	Set *s1 = solver->createSet(0, set1, 1);
 	Set *s3 = solver->createSet(0, set3, 4);
 	Element *e1 = solver->getElementConst(4, 5);
 	Element *e2 = solver->getElementVar(s3);
 	Set *domain2[] = {s1, s3};
-	Predicate *lt = solver->createPredicateOperator(LT, domain2, 2);
+	Predicate *lt = solver->createPredicateOperator(SATC_LT, domain2, 2);
 	Element *inputs2[] = {e1, e2};
-	Boolean *b = solver->applyPredicate(lt, inputs2, 2);
+	BooleanEdge b = solver->applyPredicate(lt, inputs2, 2);
 	solver->addConstraint(b);
-	if (solver->startEncoding() == 1)
-		printf("e1=%llu e2=%llu\n", solver->getElementValue(e1), solver->getElementValue(e2));
+	if (solver->solve() == 1)
+		printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
 	else
 		printf("UNSAT\n");
 	delete solver;