mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

synthprop: Use override keyword

Browse source 
`formatted_help()` introduced the override keyword, which means that the other two methods that were marked as virtual instead raised a warning about inconsistent use of override.  This fixes that by bringing the synthprop (more) in line with the rest of the code-base.
This commit is contained in:
Krystine Sherwin 2025-07-21 10:36:18 +12:00
parent 87ec486962
commit af3c28f274
No known key found for this signature in database
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/sat/synthprop.cc
View file

@ -187,7 +187,7 @@ struct SyntProperties : public Pass {
return false;
}
virtual void help()
void help() override
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@ -216,7 +216,7 @@ struct SyntProperties : public Pass {
log("\n");
}
virtual void execute(std::vector<std::string> args, RTLIL::Design* design)
void execute(std::vector<std::string> args, RTLIL::Design* design) override
{
log_header(design, "Executing SYNTHPROP pass.\n");
SynthPropWorker worker(design);