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

Merge pull request #4961 from YosysHQ/emil/cutpoint-typo

Browse source 
cutpoint: fix typo
This commit is contained in:
Emil J 2025-03-25 21:30:29 +01:00 • committed by GitHub
commit ea74ad33a5
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/sat/cutpoint.cc
View file

@ -34,8 +34,8 @@ struct CutpointPass : public Pass {
log("This command adds formal cut points to the design.\n"); log("This command adds formal cut points to the design.\n");
log("\n"); log("\n");
log(" -undef\n"); log(" -undef\n");
log(" set cupoint nets to undef (x). the default behavior is to create a\n"); log(" set cutpoint nets to undef (x). the default behavior is to create\n");
log(" $anyseq cell and drive the cutpoint net from that\n"); log(" an $anyseq cell and drive the cutpoint net from that\n");
log("\n"); log("\n");
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) override void execute(std::vector<std::string> args, RTLIL::Design *design) override