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

Remove not needed initialization

This commit is contained in:
Miodrag Milanovic 2026-02-23 12:40:48 +01:00
parent c5023dce7a
commit d52cad1ae2
1 changed files with 0 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
frontends/verific/verific.cc
View File

@ -4495,10 +4495,6 @@ struct VerificPass : public Pass {
if (argidx < GetSize(args) && args[argidx] == "-set-reset") if (argidx < GetSize(args) && args[argidx] == "-set-reset")
{ {
if (!yosys_verific_settings_initialized) {
yosys_verific_settings.init();
yosys_verific_settings_initialized = true;
}
yosys_verific_settings.reset(); yosys_verific_settings.reset();
yosys_verific_settings.apply_all(); yosys_verific_settings.apply_all();
log("All Yosys-Verific settings reset to defaults.\n"); log("All Yosys-Verific settings reset to defaults.\n");
@ -4507,11 +4503,6 @@ struct VerificPass : public Pass {
if (argidx < GetSize(args) && args[argidx] == "-set") if (argidx < GetSize(args) && args[argidx] == "-set")
{ {
if (!yosys_verific_settings_initialized) {
yosys_verific_settings.init();
yosys_verific_settings_initialized = true;
}
// No arguments: list all settings // No arguments: list all settings
if (argidx+1 == GetSize(args)) { if (argidx+1 == GetSize(args)) {
log("Yosys-Verific settings:\n"); log("Yosys-Verific settings:\n");