Run tabbing pass

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

diff --git a/src/Test/logicopstest.cc b/src/Test/logicopstest.cc
index df80fa73a50239a8a83d4fb56916917f68f5dbdd..7e1104dd8fe24870fd39ac8c0889d0e1f4ea6d0c 100644 (file)
--- a/src/Test/logicopstest.cc
+++ b/src/Test/logicopstest.cc
@@ -13,16 +13,16 @@ int main(int numargs, char **argv) {
        Boolean *b3 = solver->getBooleanVar(0);
        Boolean *b4 = solver->getBooleanVar(0);
        //L_AND, L_OR, L_NOT, L_XOR, L_IMPLIES
-       Boolean * barray1[]={b1,b2};
+       Boolean *barray1[] = {b1,b2};
        Boolean *andb1b2 = solver->applyLogicalOperation(L_AND, barray1, 2);
-       Boolean * barray2[]={andb1b2, b3};
+       Boolean *barray2[] = {andb1b2, b3};
        Boolean *imply = solver->applyLogicalOperation(L_IMPLIES, barray2, 2);
        solver->addConstraint(imply);
-       Boolean * barray3[] ={b3};
+       Boolean *barray3[] = {b3};
        Boolean *notb3 = solver->applyLogicalOperation(L_NOT, barray3, 1);
-       Boolean * barray4[] ={notb3, b4};
+       Boolean *barray4[] = {notb3, b4};
        solver->addConstraint(solver->applyLogicalOperation(L_OR, barray4, 2));
-       Boolean * barray5[] ={b1, b4};
+       Boolean *barray5[] = {b1, b4};
        solver->addConstraint(solver->applyLogicalOperation(L_XOR, barray5, 2));
        if (solver->startEncoding() == 1)
                printf("b1=%d b2=%d b3=%d b4=%d\n",