projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
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]);
}
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]);
}
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;
}
delete solver;
}