projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix bug that prevents graph generation from compiling.
[model-checker.git]
/
scanalysis.cc
diff --git
a/scanalysis.cc
b/scanalysis.cc
index 8aa400c239223a8d90ef1119126bdd87cb163b8f..d4102fe8b6a20148ff30ae5a83cdaf506f2753df 100644
(file)
--- 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);