projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
71d6e3e
)
cleanup printing
author
Brian Demsky
<bdemsky@uci.edu>
Mon, 22 Apr 2013 23:00:56 +0000
(16:00 -0700)
committer
Brian Demsky
<bdemsky@uci.edu>
Mon, 22 Apr 2013 23:00:56 +0000
(16:00 -0700)
scanalysis.cc
patch
|
blob
|
history
diff --git
a/scanalysis.cc
b/scanalysis.cc
index 75aed1aa80ed994985fee2b67ff69e83b37a67cb..f2b40d5d1a4e6dbbaba13c489ad1469648baf876 100644
(file)
--- a/
scanalysis.cc
+++ b/
scanalysis.cc
@@
-29,9
+29,8
@@
void SCAnalysis::print_list(action_list_t *list) {
if (badrfset.contains(act))
model_print("BRF ");
act->print();
- cvmap.get(act)->print();
if (badrfset.contains(act)) {
- model_print("D
ESIRED
%u \n",badrfset.get(act)->get_seq_number());
+ model_print("D
esired Rf:
%u \n",badrfset.get(act)->get_seq_number());
}
}
hash = hash ^ (hash << 3) ^ ((*it)->hash());