diff options
| author | Miodrag Milanović <mmicko@gmail.com> | 2020-02-26 13:32:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-26 13:32:49 +0100 |
| commit | 036c46de1e6442a31aac8d00c5f7cdf99c247a5b (patch) | |
| tree | 69382f92c1140948fdefda7227647d3c1717bc9c /kernel/driver.cc | |
| parent | 6edca05793197a846bbfb0329e836c87fa5aabb6 (diff) | |
| parent | 80656ad17836a222f2359576d72f0b451c4ddfe6 (diff) | |
| download | yosys-036c46de1e6442a31aac8d00c5f7cdf99c247a5b.tar.gz yosys-036c46de1e6442a31aac8d00c5f7cdf99c247a5b.tar.bz2 yosys-036c46de1e6442a31aac8d00c5f7cdf99c247a5b.zip | |
Merge pull request #1705 from YosysHQ/logger_pass
Logger pass
Diffstat (limited to 'kernel/driver.cc')
| -rw-r--r-- | kernel/driver.cc | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/driver.cc b/kernel/driver.cc index 9040408bc..398c89e03 100644 --- a/kernel/driver.cc +++ b/kernel/driver.cc @@ -558,6 +558,10 @@ int main(int argc, char **argv) fprintf(f, "\n"); } + if (log_expect_no_warnings && log_warnings_count_noexpect) + log_error("Unexpected warnings found: %d unique messages, %d total, %d expected\n", GetSize(log_warnings), + log_warnings_count, log_warnings_count - log_warnings_count_noexpect); + if (print_stats) { std::string hash = log_hasher->final().substr(0, 10); @@ -664,6 +668,8 @@ int main(int argc, char **argv) } #endif + log_check_expected(); + yosys_atexit(); memhasher_off(); |