Breaking Multituner into comptuner and kmeanstuner

[satune.git] / src / Test / ccsolvertest.c

diff --git a/src/Test/ccsolvertest.c b/src/Test/ccsolvertest.c
index 3bcb3c6753abe751dbd32d4049f9a08c73585f70..41f2f2d337ffe1bdaaef6b53925247d430b3d80d 100644 (file)
--- a/src/Test/ccsolvertest.c
+++ b/src/Test/ccsolvertest.c
@@ -4,15 +4,14 @@
 #define SATC_EQUALS 0
 
 int main (int num, char** args){
-       void* solver = CreateCCSolver();
+       void* solver = createCCSolver();
        long set1[] = {0, 1, 2};
         long set2[] = {3, 1, 7};
         void *s1 = createSet(solver,0, set1, 3);
         void *s2 = createSet(solver,0, set2, 3);
         void *e1 = getElementVar(solver,s1);
         void *e2 = getElementVar(solver,s2);
-        void *domain[] = {s1, s2};
-        void *equals = createPredicateOperator(solver,SATC_EQUALS, domain, 2);
+        void *equals = createPredicateOperator(solver,SATC_EQUALS);
         void *inputs[] = {e1, e2};
         void* b = applyPredicate(solver,equals, inputs, 2);
         addConstraint(solver,b);
@@ -21,5 +20,6 @@ int main (int num, char** args){
         else
                 printf("UNSAT\n");
         deleteCCSolver(solver);
+       return 0;
 }