Merge pull request #3636 from YosysHQ/log_plugin

Call yosys_shutdown to properly cleanup plugins and tcl when expecting error
This commit is contained in:
Miodrag Milanović 2023-01-23 16:24:03 +01:00 committed by GitHub
commit 9bc9121b9e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -707,6 +707,7 @@ void log_check_expected()
if (item.second.current_count == item.second.expected_count) {
log_warn_regexes.clear();
log("Expected error pattern '%s' found !!!\n", item.first.c_str());
yosys_shutdown();
#ifdef EMSCRIPTEN
throw 0;
#elif defined(_MSC_VER)