From 0ce5a25b09b4b54cd763758388075b1f61ccefcb Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 25 Aug 2017 19:32:56 -0700
Subject: [PATCH] Update test files

---
 src/Test/buildconstraintstest.cc  | 2 +-
 src/Test/elemequalsattest.cc      | 2 +-
 src/Test/elemequalunsattest.cc    | 2 +-
 src/Test/funcencodingtest.cc      | 2 +-
 src/Test/ltelemconsttest.cc       | 2 +-
 src/Test/tablefuncencodetest.cc   | 2 +-
 src/Test/tablepredicencodetest.cc | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/Test/buildconstraintstest.cc b/src/Test/buildconstraintstest.cc
index 71cb211..0729584 100644
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
--- 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
-- 
2.34.1