projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
17b667f
)
model: refactor build_reads_from_past
author
Brian Norris
<banorris@uci.edu>
Tue, 6 Nov 2012 00:00:18 +0000
(16:00 -0800)
committer
Brian Norris
<banorris@uci.edu>
Tue, 6 Nov 2012 00:18:52 +0000
(16:18 -0800)
A couple of if-else conditions can be merged to a single if block.
Also, I move the DBG prints for the may_read_from set into the correct
part of the if, to avoid printing false messages about the may_read_from
set.
No differences found