"-t, --analysis=NAME Use Analysis Plugin.\n"
"-o, --options=NAME Option for previous analysis plugin. \n"
"-x, --maxexec=NUM Maximum number of executions.\n"
" Default: %u\n"
" -o help for a list of options\n"
"-t, --analysis=NAME Use Analysis Plugin.\n"
"-o, --options=NAME Option for previous analysis plugin. \n"
"-x, --maxexec=NUM Maximum number of executions.\n"
" Default: %u\n"
" -o help for a list of options\n"
+ "-n No fork\n"
+ "-m, --minsize=NUM Minimum number of actions to keep\n"
+ " Default: %u\n"
+ "-f, --freqfree=NUM Frequency to free actions\n"
+ " Default: %u\n"
+ "-r, --removevisible Free visible writes\n",
model_print("Analysis plugins:\n");
for(unsigned int i=0;i<registeredanalysis->size();i++) {
TraceAnalysis * analysis=(*registeredanalysis)[i];
model_print("Analysis plugins:\n");
for(unsigned int i=0;i<registeredanalysis->size();i++) {
TraceAnalysis * analysis=(*registeredanalysis)[i];
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
- {"verbose", optional_argument, NULL, 'v'},
- {"uninitialized", required_argument, NULL, 'u'},
+ {"removevisible", no_argument, NULL, 'r'},
{"analysis", required_argument, NULL, 't'},
{"options", required_argument, NULL, 'o'},
{"maxexecutions", required_argument, NULL, 'x'},
{"analysis", required_argument, NULL, 't'},
{"options", required_argument, NULL, 'o'},
{"maxexecutions", required_argument, NULL, 'x'},
+ {"verbose", optional_argument, NULL, 'v'},
+ {"minsize", required_argument, NULL, 'm'},
+ {"freqfree", required_argument, NULL, 'f'},
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;