Run tabbing pass

[satune.git] / src / Test / tablefuncencodetest.cc

diff --git a/src/Test/tablefuncencodetest.cc b/src/Test/tablefuncencodetest.cc
index 10e7f859555cc09a6a2b91338d38ea1a5312480a..f0610e4bb28f3d10d8a48509299497f16fb6a12d 100644 (file)
--- a/src/Test/tablefuncencodetest.cc
+++ b/src/Test/tablefuncencodetest.cc
@@ -41,7 +41,7 @@ int main(int numargs, char **argv) {
        solver->addTableEntry(t1, row5, 2, 3);
        solver->addTableEntry(t1, row6, 2, 5);
        Function *f1 = solver->completeTable(t1, FLAGIFFUNDEFINED);
-       Element * tmparray[]={e1, e2};
+       Element *tmparray[] = {e1, e2};
        Element *e3 = solver->applyFunction(f1, tmparray, 2, overflow);
 
        Set *deq[] = {s3,s2};
@@ -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