From: Hamed Gorjiara <hgorjiar@uci.edu>
Date: Tue, 9 Jan 2018 20:34:34 +0000 (-0800)
Subject: commit after merge
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=37c1d6b2727508d8af302bdf85ef1f47a5e5d6da;p=satune.git

commit after merge
---

37c1d6b2727508d8af302bdf85ef1f47a5e5d6da
diff --cc src/Test/deserializersolvetest.cc
index 5498f84,0f35d12..2a2910f
mode 100755,100644..100644
--- a/src/Test/deserializersolvetest.cc
+++ b/src/Test/deserializersolvetest.cc
@@@ -1,19 -1,15 +1,16 @@@
  #include "csolver.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) {
+ 	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]);