projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fd00264) | patch
model: use snapshot_calloc()
authorBrian Norris <banorris@uci.edu>
Thu, 15 Nov 2012 20:43:23 +0000 (12:43 -0800)
committerBrian Norris <banorris@uci.edu>
Thu, 15 Nov 2012 20:43:23 +0000 (12:43 -0800)
commitf465455b6b645c56c92d1c5b7dc47252360b2e63
tree54230f25a35f1dc2578078a160ab1547e03f2419tree | snapshot
parentfd0026445b71eb29e0beedd32ba061fbc43d0c27commit | diff
model: use snapshot_calloc()

Also, might as well free priv on destruction.
model.cc diff | blob | history
C++11 memory model checker