diff --git a/passes/cmds/check.cc b/passes/cmds/check.cc index 17b15caa..f2d5a1c5 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) {