mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-03 21:09:12 +00:00
Code Activity

Remove std:: namespace

Browse source
This commit is contained in:
Eddie Hung 2019-08-07 11:11:14 -07:00
parent 13b7d2252e
commit 0c78c62d6c
1 changed files with 5 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

10
passes/sat/sat.cc
View file

@ -1102,23 +1102,23 @@ struct SatPass : public Pass {
continue;
}
if (args[argidx] == "-timeout" && argidx+1 < args.size()) {
timeout = std::atoi(args[++argidx].c_str());
timeout = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-max" && argidx+1 < args.size()) {
loopcount = std::atoi(args[++argidx].c_str());
loopcount = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-maxsteps" && argidx+1 < args.size()) {
maxsteps = std::atoi(args[++argidx].c_str());
maxsteps = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-initsteps" && argidx+1 < args.size()) {
initsteps = std::atoi(args[++argidx].c_str());
initsteps = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-stepsize" && argidx+1 < args.size()) {
stepsize = max(1, std::atoi(args[++argidx].c_str()));
stepsize = max(1, atoi(args[++argidx].c_str()));
continue;
}
if (args[argidx] == "-ignore_div_by_zero") {