3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-07-26 22:17:55 +00:00

update short help

This commit is contained in:
N. Engelhardt 2025-07-16 17:11:19 +02:00
parent fb6974dcd7
commit beb71a6c47

View file

@ -29,7 +29,7 @@ PRIVATE_NAMESPACE_BEGIN
static const std::regex src_re("(.*):(\\d+)\\.(\\d+)-(\\d+)\\.(\\d+)");
struct CoveragePass : public Pass {
CoveragePass() : Pass("linecoverage", "write coverage information to file") { }
CoveragePass() : Pass("linecoverage", "report coverage information") { }
void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|