mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-03 01:40:23 +00:00
Code Activity

Fixed the help summary line for a few commands

Browse source
This commit is contained in:
acw1251 2019-06-19 15:27:04 -04:00
parent 96ade54993
commit 0d888ee7ed
4 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
passes/sat/cutpoint.cc
View file

@ -24,7 +24,7 @@ USING_YOSYS_NAMESPACE
PRIVATE_NAMESPACE_BEGIN
struct CutpointPass : public Pass {
CutpointPass() : Pass("cutpoint", "add hi/lo cover cells for each wire bit") { }
CutpointPass() : Pass("cutpoint", "adds formal cut points to the design") { }
void help() YS_OVERRIDE
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|