mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-30 12:25:52 +00:00
Code Activity

Fix skip default value

Browse source
This commit is contained in:
Akash Levy 2024-06-05 09:33:03 -07:00
parent c59a997255
commit c8f7441a4a
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
frontends/verific/verific.cc
View file

@ -3521,7 +3521,7 @@ struct VerificPass : public Pass {
// }
int orig_argidx = argidx;
FOREACH_ARRAY_ITEM(file_names, i, file_name) {
bool skip;
bool skip = false;
for (argidx = orig_argidx; argidx < GetSize(args) && args[argidx] == "-i"; argidx++) {
string ignore_file = args[++argidx];
if (string(file_name) == ignore_file) {