luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add spaces in verific

This commit is contained in:
Akash Levy 2025-05-08 22:24:10 -07:00
parent 239b0a6db0
commit f3d24aea76
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
frontends/verific/verific.cc
View File

@ -3763,10 +3763,12 @@ struct VerificPass : public Pass {
verific_opt = true; verific_opt = true;
goto check_error; goto check_error;
} }
if (GetSize(args) > argidx && args[argidx] == "-no_split_complex_ports") { if (GetSize(args) > argidx && args[argidx] == "-no_split_complex_ports") {
verific_no_split_complex_ports = true; verific_no_split_complex_ports = true;
goto check_error; goto check_error;
} }
if (GetSize(args) > argidx && args[argidx] == "-set_ignore_translate_off") { if (GetSize(args) > argidx && args[argidx] == "-set_ignore_translate_off") {
veri_file::SetIgnoreTranslateOff(1); veri_file::SetIgnoreTranslateOff(1);
goto check_error; goto check_error;