X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=schedulebuilder.cc;h=68a4b77f115e5b6ff87571eeee1f5121eea786b6;hb=HEAD;hp=6cf4b5aae9598963b8e6a86b2fa6cf68c7319b78;hpb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;p=satcheck.git

diff --git a/schedulebuilder.cc b/schedulebuilder.cc
index 6cf4b5a..68a4b77 100644
--- a/schedulebuilder.cc
+++ b/schedulebuilder.cc
@@ -70,7 +70,6 @@ void ScheduleBuilder::buildSchedule(bool * satsolution) {
 			EPRecord *next=processRecord(record, satsolution);
 #ifdef TSO
 			if (next != NULL) {
-
 				if (next->getType()==STORE) {
 					stores[index]->push_back(next);
 					next=getNextRecord(next);
@@ -85,6 +84,9 @@ void ScheduleBuilder::buildSchedule(bool * satsolution) {
 			}
 #endif
 			if (next!=record) {
+#ifdef DUMP_SAT_SCHEDULE
+				neatPrint(record, cg, satsolution);
+#endif
 				threads[index]=next;
 				index=index-1;
 			}
@@ -112,6 +114,10 @@ void ScheduleBuilder::buildSchedule(bool * satsolution) {
 		if (earliest == NULL)
 			break;
 
+#ifdef DUMP_SAT_SCHEDULE
+		neatPrint(earliest, cg, satsolution);
+#endif
+
 		for(uint index=0;index<threads.size();index++) {
 			EPRecord *record=threads[index];
 			if (record==earliest) {