" Default: %d\n"
"-S, --fvslop=NUM Future value expiration sloppiness.\n"
" Default: %u\n"
-"-y, --yield Enable CHESS-like yield-based fairness support.\n"
+"-y, --yield Enable CHESS-like yield-based fairness support\n"
+" (requires thrd_yield() in test program).\n"
" Default: %s\n"
"-Y, --yieldblock Prohibit an execution from running a yield.\n"
" Default: %s\n"
" Default: %d\n"
"-b, --bound=MAX Upper length bound.\n"
" Default: %d\n"
-"-v, --verbose Print verbose execution information.\n"
+"-v[NUM], --verbose[=NUM] Print verbose execution information. NUM is optional:\n"
+" 0 is quiet; 1 is noisy; 2 is noisier.\n"
+" Default: %d\n"
"-u, --uninitialized=VALUE Return VALUE any load which may read from an\n"
" uninitialized atomic.\n"
" Default: %u\n"
params->fairwindow,
params->enabledcount,
params->bound,
+ params->verbose,
params->uninitvalue);
- model_print("Analysis plug ins:\n");
+ model_print("Analysis plugins:\n");
for(unsigned int i=0;i<registeredanalysis->size();i++) {
TraceAnalysis * analysis=(*registeredanalysis)[i];
model_print("%s\n", analysis->name());