" uninitialized atomic.\n"
" Default: %u\n"
"-t, --analysis=NAME Use Trace Analysis.\n"
" uninitialized atomic.\n"
" Default: %u\n"
"-t, --analysis=NAME Use Trace Analysis.\n"
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
{"liveness", required_argument, NULL, 'm'},
const struct option longopts[] = {
{"help", no_argument, NULL, 'h'},
{"liveness", required_argument, NULL, 'm'},
{"verbose", optional_argument, NULL, 'v'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{"verbose", optional_argument, NULL, 'v'},
{"uninitialized", optional_argument, NULL, 'u'},
{"analysis", optional_argument, NULL, 't'},
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;
{0, 0, 0, 0} /* Terminator */
};
int opt, longindex;