From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Feb 2015 15:29:44 +0000 (+0100)
Subject: Fixed "check -assert"
X-Git-Tag: yosys-0.6~393
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c4f383e45263add92d0032be11a1b7397e4fcc25;p=yosys.git

Fixed "check -assert"
---

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;