Adding UndefinedBehavior + TablePredicate to client APIs

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

diff --git a/src/Test/buildconstraintstest.c b/src/Test/buildconstraintstest.c
index e795038dfcacbb48a1d1dab6347f4b20773ae0fb..e8127ca4871e95ea6f03d02e8d667630b617623f 100644 (file)
--- a/src/Test/buildconstraintstest.c
+++ b/src/Test/buildconstraintstest.c
@@ -28,7 +28,7 @@ int main(int numargs, char ** argv) {
        addTableEntry(solver, table, row2, 2, 0);
        addTableEntry(solver, table, row3, 2, 2);
        addTableEntry(solver, table, row4, 2, 2);
-       Function * f2 = completeTable(solver, table); //its range would be as same as s
+       Function * f2 = completeTable(solver, table, IGNOREBEHAVIOR); //its range would be as same as s
        
        Boolean* overflow = getBooleanVar(solver , 2);
        Element * e3 = applyFunction(solver, f1, inputs, 2, overflow);