diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-09-07 09:40:14 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-09-07 09:40:14 +0200 |
| commit | 06a9c7499ac8a2db9ca455fba21c1029f392553e (patch) | |
| tree | b1f13e39817903dff61b46e4b3668d6106d9820d /frontends/verific | |
| parent | 4fa4161aa633bb1fa9934501f5056b0674b6ed5c (diff) | |
| download | yosys-06a9c7499ac8a2db9ca455fba21c1029f392553e.tar.gz yosys-06a9c7499ac8a2db9ca455fba21c1029f392553e.tar.bz2 yosys-06a9c7499ac8a2db9ca455fba21c1029f392553e.zip | |
verific: fix crash when using prep right after read
Diffstat (limited to 'frontends/verific')
| -rw-r--r-- | frontends/verific/verific.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index e0dbe1b32..1a4e3fe91 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2248,6 +2248,9 @@ 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 |