projects / model-checker.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: ae1340c)
model: utilize CycleGraph 'addEdge()' status
authorBrian Norris <banorris@uci.edu>
Tue, 5 Feb 2013 21:47:20 +0000 (13:47 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 6 Feb 2013 21:44:39 +0000 (13:44 -0800)
The mo_graph is only modified if addEdge() returns true. Utilize this
information.


No differences found
C++11 memory model checker