diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-30 17:25:53 +0200 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-03-30 17:25:53 +0200 |
| commit | bbf65702a1859d7216f71e1df1193dca6c49cabf (patch) | |
| tree | a3fa319809bbaed8a3087833fc08d6affbce47a5 /frontends/verific/verific.cc | |
| parent | 72e5498bdf12fe841ad0468ea586919965165e36 (diff) | |
| download | yosys-bbf65702a1859d7216f71e1df1193dca6c49cabf.tar.gz yosys-bbf65702a1859d7216f71e1df1193dca6c49cabf.tar.bz2 yosys-bbf65702a1859d7216f71e1df1193dca6c49cabf.zip | |
Fix valgrind tests when using verific
Diffstat (limited to 'frontends/verific/verific.cc')
| -rw-r--r-- | frontends/verific/verific.cc | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 185b02e48..b30a5baa0 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2239,11 +2239,15 @@ void verific_import(Design *design, const std::map<std::string,std::string> &par nl_todo.erase(it); } + hier_tree::DeleteHierarchicalTree(); veri_file::Reset(); #ifdef VERIFIC_VHDL_SUPPORT vhdl_file::Reset(); #endif Libset::Reset(); + Message::Reset(); + RuntimeFlags::DeleteAllFlags(); + LineFile::DeleteAllLineFiles(); verific_incdirs.clear(); verific_libdirs.clear(); verific_import_pending = false; @@ -3248,11 +3252,15 @@ struct VerificPass : public Pass { nl_todo.erase(it); } + hier_tree::DeleteHierarchicalTree(); veri_file::Reset(); #ifdef VERIFIC_VHDL_SUPPORT vhdl_file::Reset(); #endif Libset::Reset(); + Message::Reset(); + RuntimeFlags::DeleteAllFlags(); + LineFile::DeleteAllLineFiles(); verific_incdirs.clear(); verific_libdirs.clear(); verific_import_pending = false; |