Thread * get_thread(const ModelAction *act) const;
Thread * get_current_thread() const;
+ thread_id_t get_current_thread_id() const;
uint64_t switch_thread(ModelAction *act);
unsigned int curr_thread_num;
Thread * chosen_thread;
- bool thread_chosen;
bool break_execution;
void startRunExecution(Thread *old);