ModelAction * convertNonAtomicStore(void*);
ClockVector * computeMinimalCV();
void removeAction(ModelAction *act);
+ void fixupLastAct(ModelAction *act);
#ifdef TLS
pthread_key_t pthreadkey;
Fuzzer * fuzzer;
Thread * action_select_next_thread(const ModelAction *curr) const;
- bool paused_by_fuzzer(const ModelAction * act) const;
bool isfinished;
};