riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Remove unimplemented `-timeout` option.

This commit is contained in:
Alberto Gonzalez 2020-03-27 01:36:04 +00:00
parent bb101e0b3a
commit acf96b6b0b
No known key found for this signature in database
GPG Key ID: 8395A8BA109708B2
1 changed files with 4 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
passes/sat/qbfsat.cc
View File

@ -49,16 +49,15 @@ struct QbfSolutionType {
}; };
struct QbfSolveOptions { struct QbfSolveOptions {
bool timeout, specialize, specialize_from_file, write_solution, nocleanup, dump_final_smt2, assume_outputs; bool specialize, specialize_from_file, write_solution, nocleanup, dump_final_smt2, assume_outputs;
bool sat, unsat; bool sat, unsat;
long timeout_sec;
std::string specialize_soln_file; std::string specialize_soln_file;
std::string write_soln_soln_file; std::string write_soln_soln_file;
std::string dump_final_smt2_file; std::string dump_final_smt2_file;
size_t argidx; size_t argidx;
QbfSolveOptions() : timeout(false), specialize(false), specialize_from_file(false), write_solution(false), QbfSolveOptions() : specialize(false), specialize_from_file(false), write_solution(false),
nocleanup(false), dump_final_smt2(false), assume_outputs(false), sat(false), unsat(false), nocleanup(false), dump_final_smt2(false), assume_outputs(false), sat(false), unsat(false),
timeout_sec(-1), argidx(0) {}; argidx(0) {};
}; };
void recover_solution(QbfSolutionType &sol) { void recover_solution(QbfSolutionType &sol) {
@ -342,15 +341,7 @@ std::set<std::string> validate_design_and_get_inputs(RTLIL::Module *module) {
QbfSolveOptions parse_args(const std::vector<std::string> &args) { QbfSolveOptions parse_args(const std::vector<std::string> &args) {
QbfSolveOptions opt; QbfSolveOptions opt;
for (opt.argidx = 1; opt.argidx < args.size(); opt.argidx++) { for (opt.argidx = 1; opt.argidx < args.size(); opt.argidx++) {
if (args[opt.argidx] == "-timeout") { if (args[opt.argidx] == "-nocleanup") {
opt.timeout = true;
if (args.size() <= opt.argidx + 1)
log_cmd_error("timeout not specified.\n");
else
opt.timeout_sec = atol(args[++opt.argidx].c_str());
continue;
}
else if (args[opt.argidx] == "-nocleanup") {
opt.nocleanup = true; opt.nocleanup = true;
continue; continue;
} }
@ -441,9 +432,6 @@ struct QbfSatPass : public Pass {
log("\"$allconst\", but module inputs will be treated as universally-quantified variables\n"); log("\"$allconst\", but module inputs will be treated as universally-quantified variables\n");
log("by default.\n"); log("by default.\n");
log("\n"); log("\n");
log(" -timeout <seconds>\n");
log(" Set the solver timeout to the specified number of seconds.\n");
log("\n");
log(" -nocleanup\n"); log(" -nocleanup\n");
log(" Do not delete temporary files and directories. Useful for\n"); log(" Do not delete temporary files and directories. Useful for\n");
log(" debugging.\n"); log(" debugging.\n");