Function start_logging

smt/smt.cpp:77–81

}

void start_logging(const char *path) {
  Z3_open_log(path);
  string str = string("Alive2 ") + alive_version;
  Z3_append_log(str.c_str());
}

}