X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.cc;h=d4102fe8b6a20148ff30ae5a83cdaf506f2753df;hb=d28d1a3b7aafbcd2caf80de26721293126830fa8;hp=8aa400c239223a8d90ef1119126bdd87cb163b8f;hpb=d590c23e98d4ad4da4df6eda33cbdb04c29c25ea;p=model-checker.git

diff --git a/scanalysis.cc b/scanalysis.cc
index 8aa400c..d4102fe 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -145,7 +145,10 @@ action_list_t * SCAnalysis::generateSC(action_list_t *list) {
 		//add ordering constraints from this choice
 		if (updateConstraints(act)) {
 			//propagate changes if we have them
+			bool oc=cyclic;
 			computeCV(list);
+			if (!oc && cyclic)
+				model_print("XXXXXXXXXXXXXX\n");
 		}
 		//add action to end
 		sclist->push_back(act);