* the model checker.
*/
struct model_params {
+ int maxreads;
};
/**
modelclock_t used_sequence_numbers;
Thread *nextThread;
ModelAction *next_backtrack;
+
+ /** @see ModelChecker::lazy_sync_size */
+ unsigned int lazy_sync_size;
};
/** @brief The central structure for model-checking */
*/
HashTable<void *, std::list<ModelAction *>, uintptr_t, 4> *lazy_sync_with_release;
+ /**
+ * Represents the total size of the
+ * ModelChecker::lazy_sync_with_release lists. This count should be
+ * snapshotted, so it is actually a pointer to a location within
+ * ModelChecker::priv
+ */
+ unsigned int *lazy_sync_size;
+
std::vector<ModelAction *> *thrd_last_action;
NodeStack *node_stack;