static void param_defaults(struct model_params *params)
{
params->branches = false;
- params->noyields = false;
+ params->noexecyields = false;
params->verbose = !!DBG_ENABLED();
}
params->branches = true;
break;
case 'Y':
- params->noyields = true;
+ params->noexecyields = true;
break;
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;