projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dc59ac3) | patch
action: use proper location comparison
authorBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:00:37 +0000 (19:00 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 26 May 2012 02:05:03 +0000 (19:05 -0700)
commit99b073e58b66c9df66bbbc7e0396f757bde9e03a
tree24f7eccc512cc02d88ead145eba700b6650d9a26tree | snapshot
parentdc59ac38010eda5d474bd26ff5e8d190489e919fcommit | diff
action: use proper location comparison

Now that snapshotting is in place for the initial state, stack allocation is
deterministic across executions, so we can compare stack-allocated addresses
again.
action.cc diff | blob | history
C++11 memory model checker