diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2022-12-05 16:21:12 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-05 16:21:12 +0100 |
| commit | 26aaf7683f661e8fadcc8fe87c342343e1e0bf54 (patch) | |
| tree | a38ec48b4429d2ebc3ae6fe26f26a0f5c6c513ab | |
| parent | a64ed824ed6fadf24cf2871d7752f63ab6613c8b (diff) | |
| parent | 2dd55d73a044790024b132842205c914aa9629ab (diff) | |
| download | yosys-26aaf7683f661e8fadcc8fe87c342343e1e0bf54.tar.gz yosys-26aaf7683f661e8fadcc8fe87c342343e1e0bf54.tar.bz2 yosys-26aaf7683f661e8fadcc8fe87c342343e1e0bf54.zip | |
Merge pull request #3569 from YosysHQ/ver_no_rewriters
verific: Ignore errors produced by extension
| -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()); |