bool is_enabled(Thread *t) const;
bool is_enabled(thread_id_t tid) const;
- thread_id_t get_next_id();
unsigned int get_num_threads() const;
Thread * get_current_thread() const;
void switch_from_master(Thread *thread);
uint64_t switch_to_master(ModelAction *act);
- void check_promises_thread_disabled();
bool assert_bug(const char *msg, ...);
void assert_user_bug(const char *msg);