"-e Enabled count. Default: %d\n"
"-b Upper length bound. Default: %d\n"
"-v Print verbose execution information.\n"
"-u Value for uninitialized reads. Default: %u\n"
"-c Use SC Trace Analysis.\n"
"-- Program arguments follow.\n\n",
"-e Enabled count. Default: %d\n"
"-b Upper length bound. Default: %d\n"
"-v Print verbose execution information.\n"
"-u Value for uninitialized reads. Default: %u\n"
"-c Use SC Trace Analysis.\n"
"-- Program arguments follow.\n\n",