Function main

tools/alive.cpp:43–156

int main(int argc, char **argv) {
  bool verbose = false;
  bool show_smt_stats = false;
  bool root_only = false;

  int argc_i = 1;
  for (; argc_i < argc; ++argc_i) {
    if (argv[argc_i][0] != '-')
      break;

    string_view arg(argv[argc_i]);
    if (arg == "-root-only")
      root_only = true;
    else if (arg == "-v")
      verbose = true;
    else if (arg == "-smt-stats")
      show_smt_stats = true;
    else if (arg.compare(0, 8, "-smt-to:") == 0 && arg.size() > 8)
      smt::set_query_timeout(arg.substr(8).data());
    else if (arg.compare(0, 17, "-smt-random-seed:") == 0 && arg.size() > 17)
      smt::set_random_seed(arg.substr(17).data());
    else if (arg.compare(0, 9, "-max-mem:") == 0 && arg.size() > 9)
      smt::set_memory_limit(strtoul(arg.substr(9).data(), nullptr, 10) *
                            1024 * 1024);
    else if (arg == "-smt-verbose")
      smt::solver_print_queries(true);
    else if (arg == "-tactic-verbose")
      smt::solver_tactic_verbose(true);
    else if (arg == "-smt-log")
      smt::start_logging();
    else if (arg == "-skip-smt")
      config::skip_smt = true;
    else if (arg == "-disable-undef-input")
      config::disable_undef_input = true;
    else if (arg == "-disable-poison-input")
      config::disable_poison_input = true;
    else if (arg == "-h" || arg == "--help" || arg == "-v" ||
             arg == "--version") {
      show_help();
      return 0;
    } else {
      cerr << "Unknown argument: " << arg << "\n\n";
      show_help();
      return -1;
    }
  }

  if (argc_i >= argc) {
    show_help();
    return -1;
  }

  if (verbose) {
    config::symexec_print_each_value = true;
  }

  smt::smt_initializer smt_init;
  parser_initializer parser_init;