aboutsummaryrefslogtreecommitdiffstats
path: root/frontends
diff options
context:
space:
mode:
authorMiodrag Milanovic <mmicko@gmail.com>2022-11-30 17:26:48 +0100
committerMiodrag Milanovic <mmicko@gmail.com>2022-11-30 17:26:48 +0100
commit2dd55d73a044790024b132842205c914aa9629ab (patch)
treed161081e8a81593636f82a5ea199288caab9010c /frontends
parentf9db7c0599d87fa7d61b72979029c5894e3dbe6b (diff)
downloadyosys-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.cc2
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, &parameters);
+ verific_error_msg.clear();
#endif
if (!ppfile.empty())
veri_file::PrettyPrint(ppfile.c_str(), nullptr, work.c_str());