X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=constgen.cc;h=2f3375b23070d0cd9ccde22677440b042b0ca6ac;hp=6e452ac747eac71bfb68fee065faef6c4d8daca7;hb=fdc038715881f395ddbac1625160236f8db2c1d7;hpb=4f614d5fb6b6e8060910f3d5db1e6d5e8611cffa

diff --git a/constgen.cc b/constgen.cc
index 6e452ac..2f3375b 100644
--- a/constgen.cc
+++ b/constgen.cc
@@ -308,7 +308,7 @@ void ConstGen::printEventGraph() {
 	sprintf(buffer, "eventgraph%u.dot",schedule_graph);
 	schedule_graph++;
 	int file=open(buffer,O_WRONLY|O_CREAT|O_TRUNC, S_IRWXU);
-	dprintf(file, "digraph eventgraph {\n");
+	model_dprintf(file, "digraph eventgraph {\n");
 	
 	EPRecord *first=execution->getEPRecord(MCID_FIRST);
 	printRecord(first, file);
@@ -318,19 +318,19 @@ void ConstGen::printEventGraph() {
 		printRecord(record, file);
 	}
 
-	dprintf(file, "}\n");
+	model_dprintf(file, "}\n");
 	close(file);
 }
 
 void ConstGen::doPrint(EPRecord *record, int file) {
-	dprintf(file, "%lu[label=\"",(uintptr_t)record);
+	model_dprintf(file, "%lu[label=\"",(uintptr_t)record);
 	record->print(file);
-	dprintf(file, "\"];\n");
+	model_dprintf(file, "\"];\n");
 	if (record->getNextRecord()!=NULL)
-		dprintf(file, "%lu->%lu;\n", (uintptr_t) record, (uintptr_t) record->getNextRecord());
+		model_dprintf(file, "%lu->%lu;\n", (uintptr_t) record, (uintptr_t) record->getNextRecord());
 	
 	if (record->getChildRecord()!=NULL)
-		dprintf(file, "%lu->%lu[color=red];\n", (uintptr_t) record, (uintptr_t) record->getChildRecord());
+		model_dprintf(file, "%lu->%lu[color=red];\n", (uintptr_t) record, (uintptr_t) record->getChildRecord());
 }
 
 void ConstGen::printRecord(EPRecord *record, int file) {
@@ -362,7 +362,7 @@ void ConstGen::printRecord(EPRecord *record, int file) {
 				//runs code
 				if (branchdir->getFirstRecord()!=NULL) {
 					workstack->push_back(branchdir->getFirstRecord());
-					dprintf(file, "%lu->%lu[color=blue];\n", (uintptr_t) record, (uintptr_t) branchdir->getFirstRecord());
+					model_dprintf(file, "%lu->%lu[color=blue];\n", (uintptr_t) record, (uintptr_t) branchdir->getFirstRecord());
 				}
 			}
 			return;
@@ -878,7 +878,7 @@ bool * ConstGen::runSolver() {
 	} else {
 		delete solver;
 		solver=NULL;
-		dprintf(2, "INDETER\n");
+		model_print_err("INDETER\n");
 		model_print("INDETER\n");
 		exit(-1);
 		return NULL;