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));
+       else
+               printf("UNSAT\n");
        deleteSolver(solver);
 }