If a user program hits an assertion, we should quit before executing any
further. i.e., don't even wait for the next atomic action, since the
assertion might trigger more bugs that have unintended/unforseen
consequences.
printf(" [BUG] Program has hit assertion in file %s at line %d\n",
file, line);
model->set_assert();
printf(" [BUG] Program has hit assertion in file %s at line %d\n",
file, line);
model->set_assert();
+ model->switch_to_master(NULL);