Update test files

diff --git a/src/Test/buildconstraintstest.cc b/src/Test/buildconstraintstest.cc
index 71cb211..0729584 100644 (file)
--- a/src/Test/buildconstraintstest.cc
+++ b/src/Test/buildconstraintstest.cc
@@ -52,7 +52,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(pred);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu\n", solver->getElementValue(e1), solver->getElementValue(e2));
+               printf("e1=%" PRIu64 " e2=%" PRIu64 " \n", solver->getElementValue(e1), solver->getElementValue(e2));
        else
                printf("UNSAT\n");
        delete solver;

diff --git a/src/Test/elemequalsattest.cc b/src/Test/elemequalsattest.cc
index 7780f57..87355b1 100644 (file)
--- a/src/Test/elemequalsattest.cc
+++ b/src/Test/elemequalsattest.cc
@@ -26,7 +26,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(b);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu\n", solver->getElementValue(e1), solver->getElementValue(e2));
+               printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
        else
                printf("UNSAT\n");
        delete solver;

diff --git a/src/Test/elemequalunsattest.cc b/src/Test/elemequalunsattest.cc
index c470485..5b78583 100644 (file)
--- a/src/Test/elemequalunsattest.cc
+++ b/src/Test/elemequalunsattest.cc
@@ -21,7 +21,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(b);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu\n", solver->getElementValue(e1), solver->getElementValue(e2));
+               printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
        else
                printf("UNSAT\n");
        delete solver;

diff --git a/src/Test/funcencodingtest.cc b/src/Test/funcencodingtest.cc
index c9094cf..b842ff0 100644 (file)
--- a/src/Test/funcencodingtest.cc
+++ b/src/Test/funcencodingtest.cc
@@ -74,7 +74,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(pred);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu e7=%llu\n",
+               printf("e1=%" PRIu64 " e2=%" PRIu64 " e7=%" PRIu64 "\n",
                                         solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e7));
        else
                printf("UNSAT\n");

diff --git a/src/Test/ltelemconsttest.cc b/src/Test/ltelemconsttest.cc
index c857828..cf3b557 100644 (file)
--- a/src/Test/ltelemconsttest.cc
+++ b/src/Test/ltelemconsttest.cc
@@ -19,7 +19,7 @@ int main(int numargs, char **argv) {
        Boolean *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));
+               printf("e1=%" PRIu64 " e2=%" PRIu64 "\n", solver->getElementValue(e1), solver->getElementValue(e2));
        else
                printf("UNSAT\n");
        delete solver;

diff --git a/src/Test/tablefuncencodetest.cc b/src/Test/tablefuncencodetest.cc
index 10e7f85..354b5ef 100644 (file)
--- a/src/Test/tablefuncencodetest.cc
+++ b/src/Test/tablefuncencodetest.cc
@@ -51,7 +51,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(pred);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu e3=%llu e4=%llu overFlow:%d\n",
+               printf("e1=%" PRIu64 " e2=%" PRIu64 " e3=%" PRIu64 " e4=%" PRIu64 " overFlow:%d\n",
                                         solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e3),
                                         solver->getElementValue(e4), solver->getBooleanValue(overflow));
        else

diff --git a/src/Test/tablepredicencodetest.cc b/src/Test/tablepredicencodetest.cc
index 8a13e4e..77ae0af 100644 (file)
--- a/src/Test/tablepredicencodetest.cc
+++ b/src/Test/tablepredicencodetest.cc
@@ -59,7 +59,7 @@ int main(int numargs, char **argv) {
        solver->addConstraint(pred2);
 
        if (solver->startEncoding() == 1)
-               printf("e1=%llu e2=%llu e3=%llu undefFlag:%d\n",
+               printf("e1=%" PRIu64 " e2=%" PRIu64 " e3=%" PRIu64 " undefFlag:%d\n",
                                         solver->getElementValue(e1), solver->getElementValue(e2),
                                         solver->getElementValue(e3), solver->getBooleanValue(undef));
        else