projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 084fd1d) | patch
model: correct the "no valid reads" assertion
authorBrian Norris <banorris@uci.edu>
Sat, 23 Feb 2013 00:12:34 +0000 (16:12 -0800)
committerBrian Norris <banorris@uci.edu>
Sat, 23 Feb 2013 00:12:34 +0000 (16:12 -0800)
commitebbaf2d1ff97315fdf97943f122392d1a449e41b
tree6fc9a8b9535ff8e93d7ea0b75f6a38e4d83d2a11tree | snapshot
parent084fd1d6e7a9680f3ec48f38c37dda0600ffb612commit | diff
model: correct the "no valid reads" assertion

There are "no valid reads" only if there are no valid prior reads-from
candidates AND no potential values.
model.cc diff | blob | history
C++11 memory model checker