Adding a new test case for testing FLAGIFFUNDEFINED + bug fixes

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

diff --git a/src/Test/buildconstraintstest.c b/src/Test/buildconstraintstest.c
index 1e336c2861edb411df8e63cd2d1045ac6789c8c1..e7fffe6e4eec37d464507c450087661914124bf6 100644 (file)
--- a/src/Test/buildconstraintstest.c
+++ b/src/Test/buildconstraintstest.c
@@ -25,7 +25,7 @@ int main(int numargs, char ** argv) {
        Set * domain[]={s, s};
        Predicate *equals=createPredicateOperator(solver, EQUALS, domain, 2);
        Element * inputs[]={e1, e2};
-       Boolean * b=applyPredicate(solver, equals, inputs, 2, NULL);
+       Boolean * b=applyPredicate(solver, equals, inputs, 2);
        addConstraint(solver, b);
 
        uint64_t set2[] = {2, 3};
@@ -48,7 +48,7 @@ int main(int numargs, char ** argv) {
        Set* domain2[] = {s,rangef1};
        Predicate* equal2 = createPredicateOperator(solver, EQUALS, domain2, 2);
        Element* inputs2 [] = {e4, e3};
-       Boolean* pred = applyPredicate(solver, equal2, inputs2, 2, overflow);
+       Boolean* pred = applyPredicate(solver, equal2, inputs2, 2);
        addConstraint(solver, pred);
        
        if (startEncoding(solver)==1)