From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 22 Feb 2015 12:02:48 +0000 (+0100)
Subject: Added "check -assert" doc
X-Git-Tag: yosys-0.6~395
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=d361d313e1e190f5d55508b2155ddd23230befc3;p=yosys.git

Added "check -assert" doc
---

diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc
index 17b15caa0..f2d5a1c53 100644
--- a/passes/cmds/check.cc
+++ b/passes/cmds/check.cc
@@ -44,6 +44,9 @@ struct CheckPass : public Pass {
 		log("When called with -noinit then this command also checks for wires which have\n");
 		log("the 'init' attribute set.\n");
 		log("\n");
+		log("When called with -assert then the command will produce an error if any\n");
+		log("problems are found in the current design.\n");
+		log("\n");
 	}
 	virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
 	{