diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-09-07 09:48:19 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-09-07 09:48:19 +0200 |
| commit | 3f94f9313a65664e4a055c6100011bf27606af32 (patch) | |
| tree | e23e12f0db00e805c326d55b198733b3d4044ffe /frontends | |
| parent | 06a9c7499ac8a2db9ca455fba21c1029f392553e (diff) | |
| download | yosys-3f94f9313a65664e4a055c6100011bf27606af32.tar.gz yosys-3f94f9313a65664e4a055c6100011bf27606af32.tar.bz2 yosys-3f94f9313a65664e4a055c6100011bf27606af32.zip | |
verific: better fix for read callback
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1a4e3fe91..5eb4857c5 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -149,6 +149,8 @@ public: } }; +YosysStreamCallBackHandler verific_read_cb; + // ================================================================== VerificImporter::VerificImporter(bool mode_gates, bool mode_keep, bool mode_nosva, bool mode_names, bool mode_verific, bool mode_autocover, bool mode_fullinit) : @@ -2248,9 +2250,6 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par for (const auto &i : parameters) verific_params.Insert(i.first.c_str(), i.second.c_str()); - YosysStreamCallBackHandler cb; - veri_file::RegisterCallBackVerificStream(&cb); - #ifdef YOSYSHQ_VERIFIC_EXTENSIONS VerificExtensions::ElaborateAndRewrite("work", &verific_params); #endif @@ -2645,8 +2644,7 @@ struct VerificPass : public Pass { int argidx = 1; std::string work = "work"; - YosysStreamCallBackHandler cb; - veri_file::RegisterCallBackVerificStream(&cb); + veri_file::RegisterCallBackVerificStream(&verific_read_cb); if (GetSize(args) > argidx && (args[argidx] == "-set-error" || args[argidx] == "-set-warning" || args[argidx] == "-set-info" || args[argidx] == "-set-ignore")) |