mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-02-14 04:41:48 +00:00
Code Activity

remove option

Browse source
This commit is contained in:
Dhaval Chaudhari 2026-01-20 19:26:12 +05:30
parent bd710134fc
commit 75501ada55
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
frontends/verific/verific.cc
View file

@ -172,10 +172,6 @@ struct YosysVerificSettings {
}
}
bool has_option(const std::string &name) const {
return options.find(name) != options.end();
}
bool get_bool(const std::string &name) const {
auto it = options.find(name);
if (it == options.end() || it->second.type != Type::BOOL)
@ -4546,7 +4542,7 @@ struct VerificPass : public Pass {
// One argument: show specific setting
if (argidx+2 == GetSize(args)) {
const std::string &name = args[argidx+1];
if (!yosys_verific_settings.has_option(name))
if (!yosys_verific_settings.options.count(name))
log_cmd_error("Unknown Yosys-Verific setting '%s'.\n", name.c_str());
const auto &opt = yosys_verific_settings.options.at(name);
switch (opt.type) {
@ -4570,7 +4566,7 @@ struct VerificPass : public Pass {
if (argidx+3 == GetSize(args)) {
const std::string &name = args[argidx+1];
const std::string &value = args[argidx+2];
if (!yosys_verific_settings.has_option(name))
if (!yosys_verific_settings.options.count(name))
log_cmd_error("Unknown Yosys-Verific setting '%s'.\n", name.c_str());
auto &opt = yosys_verific_settings.options.at(name);
switch (opt.type) {