From d361d313e1e190f5d55508b2155ddd23230befc3 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sun, 22 Feb 2015 13:02:48 +0100 Subject: [PATCH] Added "check -assert" doc --- passes/cmds/check.cc | 3 +++ 1 file changed, 3 insertions(+) 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 args, RTLIL::Design *design) { -- 2.30.2