3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-06-06 06:03:23 +00:00

Handle expect no warnings together with expected

This commit is contained in:
Miodrag Milanovic 2020-02-22 10:52:46 +01:00
parent 596bb2d443
commit d079ab9d19
3 changed files with 12 additions and 4 deletions

View file

@ -558,8 +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 (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)
{