projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
4b89dd9
)
Fixed "check -assert"
author
Clifford Wolf
<clifford@clifford.at>
Sun, 22 Feb 2015 15:29:44 +0000
(16:29 +0100)
committer
Clifford Wolf
<clifford@clifford.at>
Sun, 22 Feb 2015 15:29:44 +0000
(16:29 +0100)
passes/cmds/check.cc
patch
|
blob
|
history
diff --git
a/passes/cmds/check.cc
b/passes/cmds/check.cc
index f2d5a1c53051ad8b266cf2a9a9f6bf99d9258050..bb8fe78eaee75eb591c4a1a19106b5d2b508c179 100644
(file)
--- a/
passes/cmds/check.cc
+++ b/
passes/cmds/check.cc
@@
-146,7
+146,7
@@
struct CheckPass : public Pass {
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);
}
} CheckPass;