mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 00:55:32 +00:00
Code Activity

Fix Verific warning

Browse source
This commit is contained in:
Akash Levy 2024-08-21 16:55:44 -07:00
parent dba9a26cf3
commit 6e46a56720
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

@ -3688,7 +3688,7 @@ struct VerificPass : public Pass {
unsigned i;
MapIter mi;
const char *file_name, *dir_name, *key, *value;
for (argidx; argidx < GetSize(args); argidx++) {
for (; argidx < GetSize(args); argidx++) {
if (args[argidx] == "-f" || args[argidx] == "-F" || args[argidx] == "-FF") {
veri_file::f_file_flags flags = (args[argidx] == "-f") ? veri_file::F_FILE_NONE : ((args[argidx] == "-F") ? veri_file::F_FILE_CAPITAL : veri_file::F_FILE_CAPITAL_NESTED);
veri_file::Analyze("preqorsor/data/blackboxes.v");