Need to allow for one spare encoding for the non-executed case with no suitable stores.
[satcheck.git] / threads.cc
index 52b7ca9..a3497e0 100644 (file)
 /** Allocate a stack for a new thread. */
 static void * stack_allocate(size_t size)
 {
+       // TODO: This could be a bug if we have programs that start threads
+       // in different orders.  The solution is to use the same strategy
+       // the ALLOC action uses.
+
        return snapshot_malloc(size);
 }