From 61fb4abad48596608278bfb8c3c78c0861a5978b Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Tue, 11 Dec 2012 12:56:59 -0800 Subject: [PATCH] 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cyclegraph.h b/cyclegraph.h index 829c845..d9fa631 100644 --- a/cyclegraph.h +++ b/cyclegraph.h @@ -82,7 +82,7 @@ class CycleNode { const ModelAction *action; /** @brief The edges leading out from this node */ - std::vector edges; + std::vector > edges; /** Pointer to a RMW node that reads from this node, or NULL, if none * exists */ -- 2.34.1