struct thread_params params = { start_routine, arg };
/* seq_cst is just a 'don't care' parameter */
model->switch_thread(new ModelAction(THREAD_CREATE, std::memory_order_seq_cst, t, (uint64_t)¶ms));
struct thread_params params = { start_routine, arg };
/* seq_cst is just a 'don't care' parameter */
model->switch_thread(new ModelAction(THREAD_CREATE, std::memory_order_seq_cst, t, (uint64_t)¶ms));