Added "check -assert" doc

diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc
index 17b15caa0689e9d96d5b84bfdb8003de5fd50950..f2d5a1c53051ad8b266cf2a9a9f6bf99d9258050 100644 (file)
--- 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)
        {