projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixing the test case's bug
[satune.git]
/
src
/
Test
/
buildconstraints.c
diff --git
a/src/Test/buildconstraints.c
b/src/Test/buildconstraints.c
index f30ebd025371ad0aba37c0fe212eee407c3f71e2..e795038dfcacbb48a1d1dab6347f4b20773ae0fb 100644
(file)
--- a/
src/Test/buildconstraints.c
+++ b/
src/Test/buildconstraints.c
@@
-41,5
+41,7
@@
int main(int numargs, char ** argv) {
if (startEncoding(solver)==1)
printf("e1=%llu e2=%llu\n", getElementValue(solver,e1), getElementValue(solver, e2));
if (startEncoding(solver)==1)
printf("e1=%llu e2=%llu\n", getElementValue(solver,e1), getElementValue(solver, e2));
+ else
+ printf("UNSAT\n");
deleteSolver(solver);
}
deleteSolver(solver);
}