projects / model-checker.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2144dfc) | patch
cyclegraph: bugfix - use model-checker's allocater for CycleNode::edges
authorBrian Norris <banorris@uci.edu>
Tue, 11 Dec 2012 20:56:59 +0000 (12:56 -0800)
committerBrian Norris <banorris@uci.edu>
Tue, 11 Dec 2012 20:58:31 +0000 (12:58 -0800)
commit61fb4abad48596608278bfb8c3c78c0861a5978b
tree8025881ae05dee5e75b8e411bf1a81f9c05ddf65tree | snapshot
parent2144dfc0d165ac48d12bbc3cad43f1c2cd8355c7commit | diff
cyclegraph: bugfix - use model-checker's allocater for CycleNode::edges

This vector should use our SnapshotAlloc allocator, to avoid polluting
the user's memory allocator.

This solves an annoying bug that causes us to hit an ASSERT() when a
user's threads aren't allocated in the same location every execution.
cyclegraph.h diff | blob | history
C++11 memory model checker