| 19 | |
| 20 | |
| 21 | static void show_help() { |
| 22 | cerr << "Usage: alive2 <options> <files.opt>\n" |
| 23 | "version " |
| 24 | << alive_version |
| 25 | << "\n\n" |
| 26 | "Options:\n" |
| 27 | " -root-only\t\tCheck the expression's root only\n" |
| 28 | " -v\t\t\tVerbose mode\n" |
| 29 | " -smt-stats\t\tShow SMT statistics\n" |
| 30 | " -smt-to:x\t\tTimeout for SMT queries in ms\n" |
| 31 | " -smt-random-seed:x\tRandom seed for the SMT solver\n" |
| 32 | " -max-mem:x\t\tMax memory consumption in MB (approx)\n" |
| 33 | " -smt-verbose\t\tPrint all SMT queries\n" |
| 34 | " -tactic-verbose\tDebug SMT tactics\n" |
| 35 | " -smt-log\t\tLog interactions with the SMT solver\n" |
| 36 | " -skip-smt\t\tSkip all SMT queries\n" |
| 37 | " -disable-poison-input\tAssume input variables can never be poison\n" |
| 38 | " -disable-undef-input\tAssume input variables can never be undef\n" |
| 39 | " -h / --help / -v / --version\tShow this help\n"; |
| 40 | } |
| 41 | |
| 42 | |
| 43 | int main(int argc, char **argv) { |