Adding a new test case for testing FLAGIFFUNDEFINED + bug fixes

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

diff --git a/src/Test/funcencodingtest.c b/src/Test/funcencodingtest.c
index c1162ee0d2264da792f2b2a84fc27941d5ddd9b1..4962f3f027fc48f593de5f31402b9fea557a4bd5 100644 (file)
--- a/src/Test/funcencodingtest.c
+++ b/src/Test/funcencodingtest.c
@@ -70,7 +70,7 @@ int main(int numargs, char ** argv) {
        Set* deq[] = {s5,s4};
        Predicate* gt = createPredicateOperator(solver, GT, deq, 2);
        Element* inputs2 [] = {e7, e6};
-       Boolean* pred = applyPredicate(solver, gt, inputs2, 2, overflow);
+       Boolean* pred = applyPredicate(solver, gt, inputs2, 2);
        addConstraint(solver, pred);
        
        if (startEncoding(solver)==1)