projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd7f616) | patch
model: totally destroy 'curr' within initialize_curr_action()
authorBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 04:43:07 +0000 (21:43 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 2 Nov 2012 04:43:07 +0000 (21:43 -0700)
commitb5cdd7ee16b73bbfe53040d23994351f85f83785
treef1bb85986076b37c1c6d2c6b1ad523b109757e22tree | snapshot
parentdd7f61668db41bed95b0cbf43f0b2cad5cd41060commit | diff
model: totally destroy 'curr' within initialize_curr_action()

We don't really want 'curr' and 'newcurr' to hang around together. So
convert initialize_curr_action() to have two "return" parameters; it
overwrites the 'curr' pointer as a return value and it returns a status
boolean to show that it overwrote it. This may help prevent some future
bugs.
model.cc diff | blob | history
model.h diff | blob | history
C++11 memory model checker