Function showStats

tv/tv.cpp:106–111

}

void showStats() {
  if (opt_smt_stats)
    smt::solver_print_stats(*out);
  if (opt_alias_stats)
    IR::Memory::printAliasStats(*out);
}

void writeBitcode(const fs::path &report_filename) {
  fs::path bc_filename;