static void param_defaults(struct model_params *params)
{
params->branches = false;
- params->noyields = false;
+ params->noexecyields = false;
params->verbose = !!DBG_ENABLED();
}
param_defaults(params);
model_print(
- "Model-checker options:\n"
- "-h, --help Display this help message and exit\n"
- "-Y, --avoidyields Fairness support by not executing yields\n"
- "-b, --branches Only explore all branches\n"
- "-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
- " -- Program arguments follow.\n\n");
+ "Model-checker options:\n"
+ "-h, --help Display this help message and exit\n"
+ "-Y, --avoidyields Fairness support by not executing yields\n"
+ "-b, --branches Only explore all branches\n"
+ "-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
+ " -- Program arguments follow.\n\n");
exit(EXIT_SUCCESS);
}
{"avoidyields", no_argument, NULL, 'Y'},
{"branches", no_argument, NULL, 'b'},
{"verbose", optional_argument, NULL, 'v'},
- {0, 0, 0, 0} /* Terminator */
+ {0, 0, 0, 0} /* Terminator */
};
int opt, longindex;
bool error = false;
params->branches = true;
break;
case 'Y':
- params->noyields = true;
+ params->noexecyields = true;
break;
case 'v':
params->verbose = optarg ? atoi(optarg) : 1;
break;
- default: /* '?' */
+ default: /* '?' */
error = true;
break;
}
* called, it allocated internal buffers. We can't easily snapshot
* libc since we also use it.
*/
-
+
printf("SATCheck\n"
"Copyright (c) 2016 Regents of the University of California. All rights reserved.\n"
"Distributed under the GPLv2\n"
"Written by Brian Demsky and Patrick Lam\n\n");
-
+
/* Configure output redirection for the model-checker */
redirect_output();