diff options
author | Clifford Wolf <clifford@clifford.at> | 2015-02-22 16:29:44 +0100 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2015-02-22 16:29:44 +0100 |
commit | c4f383e45263add92d0032be11a1b7397e4fcc25 (patch) | |
tree | 0c26f841aa735a8e4901e44758b461cec0abadaa /passes | |
parent | 4b89dd983c7edf23db77f0ca54f1133bc646b954 (diff) | |
download | yosys-c4f383e45263add92d0032be11a1b7397e4fcc25.tar.gz yosys-c4f383e45263add92d0032be11a1b7397e4fcc25.tar.bz2 yosys-c4f383e45263add92d0032be11a1b7397e4fcc25.zip |
Fixed "check -assert"
Diffstat (limited to 'passes')
-rw-r--r-- | passes/cmds/check.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index f2d5a1c53..bb8fe78ea 100644 --- 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; |