projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5d5b4d7) | patch
model: refactor build_reads_from_past
authorBrian Norris <banorris@uci.edu>
Tue, 6 Nov 2012 00:00:18 +0000 (16:00 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 6 Nov 2012 00:18:52 +0000 (16:18 -0800)
commit17b667f2d53729212d23e62a3f9464b8180e01f6
treeba13c637467881e7818e9437fbab557547756a71tree | snapshot
parent5d5b4d719178c48c3e5f616b5eb61b7d68dc2b49commit | diff
model: refactor build_reads_from_past

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.
model.cc diff | blob | history
C++11 memory model checker