3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-09-25 10:51:30 +00:00

Option to expect no warnings

This commit is contained in:
Miodrag Milanovic 2020-02-17 15:36:06 +01:00
parent d8735b2913
commit 5641b0248f
4 changed files with 12 additions and 0 deletions

View file

@ -558,6 +558,9 @@ int main(int argc, char **argv)
fprintf(f, "\n");
}
if (log_expect_no_warnings && log_warnings_count)
log_error("Warnings: %d unique messages, %d total\n", GetSize(log_warnings), log_warnings_count);
if (print_stats)
{
std::string hash = log_hasher->final().substr(0, 10);