mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-12 20:18:20 +00:00
Code Activity

Added "check -assert" doc

Browse source
This commit is contained in:
Clifford Wolf 2015-02-22 13:02:48 +01:00
parent e8307cefd9
commit d361d313e1
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
passes/cmds/check.cc
View file

@ -44,6 +44,9 @@ struct CheckPass : public Pass {
log("When called with -noinit then this command also checks for wires which have\n"); log("When called with -noinit then this command also checks for wires which have\n");
log("the 'init' attribute set.\n"); log("the 'init' attribute set.\n");
log("\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) virtual void execute(std::vector<std::string> args, RTLIL::Design *design)
{ {