Adding checks to avoid further processing on UNSAT Problems

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

diff --git a/src/Test/deserializersolveprintopt.cc b/src/Test/deserializersolveprintopt.cc
index 0c707ce8c2577f063d609e203664fe96df90d032..d5f5c2e3bace826873a3e57e4e24809bc43a8eeb 100644 (file)
--- a/src/Test/deserializersolveprintopt.cc
+++ b/src/Test/deserializersolveprintopt.cc
@@ -8,13 +8,13 @@ int main(int argc, char **argv) {
        }
        for (int i = 1; i < argc; i++) {
                CSolver *solver = CSolver::deserialize(argv[i]);
+               solver->printConstraints();
                int value = solver->solve();
                if (value == 1) {
                        printf("%s is SAT\n", argv[i]);
                } else {
                        printf("%s is UNSAT\n", argv[i]);
                }
-               solver->printConstraints();
 
                delete solver;
        }