X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Fdeserializersolvetest.cc;h=2d7a8521ff93ca3484f18fc1992e2f7a220aa8cf;hb=27413a58e0ac937614ba6c6e88e1d85d0e526e49;hp=5498f8440539f6ca34cac76684097301da6a2e12;hpb=978e6f37f283c91a45c139d0cb0af57e48056b95;p=satune.git

diff --git a/src/Test/deserializersolvetest.cc b/src/Test/deserializersolvetest.cc
old mode 100755
new mode 100644
index 5498f84..2d7a852
--- a/src/Test/deserializersolvetest.cc
+++ b/src/Test/deserializersolvetest.cc
@@ -1,19 +1,17 @@
 #include "csolver.h"
-//#include <unistd.h>
-//#include <sys/types.h>
+#include <unistd.h>
+#include <sys/types.h>
 
-int main(int argc, char ** argv){
-	if(argc < 2){
+int main(int argc, char **argv) {
+	if (argc < 2) {
 		printf("You should specify file names ...");
-		exit(-1);	
+		exit(-1);
 	}
-//	printf("I am pid %d!\n", getpid());
-//        usleep(20000000);
-
-	for(int i = 1; i < argc; i++) {
-		CSolver* solver = CSolver::deserialize(argv[i]);
-		int value=solver->solve();
-		if (value ==1) {
+        //usleep(20000000);
+	for (int i = 1; i < argc; i++) {
+		CSolver *solver = CSolver::deserialize(argv[i]);
+		int value = solver->solve();
+		if (value == 1) {
 			printf("%s is SAT\n", argv[i]);
 		} else {
 			printf("%s is UNSAT\n", argv[i]);