mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-07-18 05:05:45 +00:00
Code Activity

rename and clean

Browse source
This commit is contained in:
Stan Lee 2026-04-28 16:16:57 -07:00
parent e801ea4fdb
commit dd6e440937
1 changed files with 1 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

8
frontends/verific/verific.cc
View file

@ -3925,18 +3925,12 @@ struct VerificPass : public Pass {
goto check_error;
}
if (GetSize(args) > argidx && args[argidx] == "-delete_module") {
string lib = "work";
if (GetSize(args) > argidx && args[argidx] == "-unignore_module") {
Set *ignored = veri_file::GetIgnoredModuleSet();
for (argidx++; argidx < GetSize(args); argidx++) {
if (args[argidx] == "-work" && argidx+1 < GetSize(args)) {
lib = args[++argidx];
continue;
}
const char *name = args[argidx].c_str();
if (ignored)
ignored->Remove(name);
veri_file::RemoveModule(name, lib.c_str());
}
goto check_error;
}