X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Fbuildconstraints.c;h=e795038dfcacbb48a1d1dab6347f4b20773ae0fb;hb=d1a0b7b6cff4bb74c4df4ff0d0d8384db136141d;hp=f30ebd025371ad0aba37c0fe212eee407c3f71e2;hpb=43cc444d4eb88a1508dce97e4001e648e12c28fd;p=satune.git

diff --git a/src/Test/buildconstraints.c b/src/Test/buildconstraints.c
index f30ebd0..e795038 100644
--- 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);
 }