promise: SnapshotAlloc for vector

We must ensure that any new memory allocated by the model-checker uses
our private snapshotting heap, not the user program's heap.

diff --git a/promise.h b/promise.h
index 1f8a810ad33e0ab0a3de283eb19bd8f711ea745e..7e6e396e15f9330e24ed7590e6abaefc9f3b1c38 100644 (file)
--- a/promise.h
+++ b/promise.h
@@ -39,7 +39,7 @@ class Promise {
 
        SNAPSHOTALLOC
  private:
-       std::vector<bool> eliminated_thread;
+       std::vector< bool, SnapshotAlloc<bool> > eliminated_thread;
        const uint64_t value;
        const modelclock_t expiration;
        ModelAction * const read;