diff options
| author | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-30 17:26:48 +0100 |
|---|---|---|
| committer | Miodrag Milanovic <mmicko@gmail.com> | 2022-11-30 17:26:48 +0100 |
| commit | 2dd55d73a044790024b132842205c914aa9629ab (patch) | |
| tree | d161081e8a81593636f82a5ea199288caab9010c /frontends | |
| parent | f9db7c0599d87fa7d61b72979029c5894e3dbe6b (diff) | |
| download | yosys-2dd55d73a044790024b132842205c914aa9629ab.tar.gz yosys-2dd55d73a044790024b132842205c914aa9629ab.tar.bz2 yosys-2dd55d73a044790024b132842205c914aa9629ab.zip | |
reset elaboration error after rewriter
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/verific/verific.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index 1e61b3a31..10c03fb30 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -2289,6 +2289,7 @@ std::string verific_import(Design *design, const std::map<std::string,std::strin #ifdef YOSYSHQ_VERIFIC_EXTENSIONS VerificExtensions::ElaborateAndRewrite("work", &verific_params); + verific_error_msg.clear(); #endif if (top.empty()) { @@ -3217,6 +3218,7 @@ struct VerificPass : public Pass { #ifdef YOSYSHQ_VERIFIC_EXTENSIONS VerificExtensions::ElaborateAndRewrite(work, ¶meters); + verific_error_msg.clear(); #endif if (!ppfile.empty()) veri_file::PrettyPrint(ppfile.c_str(), nullptr, work.c_str()); |