diff options
Diffstat (limited to 'passes/cmds')
| -rw-r--r-- | passes/cmds/check.cc | 3 |
1 files changed, 3 insertions, 0 deletions
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) { |