mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-11-04 05:19:11 +00:00
Code Activity

Fixed "check -assert"

Browse source
This commit is contained in:
Clifford Wolf 2015-02-22 16:29:44 +01:00
parent 4b89dd983c
commit c4f383e452
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/cmds/check.cc
View file

@ -146,7 +146,7 @@ struct CheckPass : public Pass {
log("found and reported %d problems.\n", counter); log("found and reported %d problems.\n", counter);
if (assert_mode) if (assert_mode && counter > 0)
log_error("Found %d problems in 'check -assert'.\n", counter); log_error("Found %d problems in 'check -assert'.\n", counter);
} }
} CheckPass; } CheckPass;