Update test files

diff --git a/src/Test/buildconstraintstest.cc b/src/Test/buildconstraintstest.cc
index 71cb211113a85eedb32670698a2356c3ebffb203..07295844d4c51b33825577b90881612ea3cc2863 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 7780f577e20a03bcaf2388035e157f708aae5146..87355b11df7fa4c18ea5f6e854cba56f88ca3f99 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 c470485dd07be9e6a3994a0a3c57913505b19384..5b78583806ca291a2f7596ecee0f13a9fc0a4268 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 c9094cf28df088fc3ea29f1581eb92c9aaa32a42..b842ff02117e8f3c496a92bb88a43a2fa6645404 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 c85782840dd0469dbe8807a63c6c087f34cdae02..cf3b55739ecd518770290ea7600b114c146d58ed 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 10e7f859555cc09a6a2b91338d38ea1a5312480a..354b5ef450d62328a77ba0374ea95e8c50140fcf 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 8a13e4e6e2737a0114b98af5b769f999bca36275..77ae0af42932e26384bdc4e8961a2970ceebe27a 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