mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-07 03:31:24 +00:00
Code Activity

Merge pull request #591 from hzeller/virtual-override

Browse source 
Consistent use of 'override' for virtual methods in derived classes.
This commit is contained in:
Clifford Wolf 2018-08-15 14:05:38 +02:00 • committed by GitHub
commit 67b1026297
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
170 changed files with 414 additions and 416 deletions
Download patch file Download diff file Expand all files Collapse all files

4
backends/smt2/smt2.cc
View file

@ -1251,7 +1251,7 @@ struct Smt2Worker
struct Smt2Backend : public Backend {
Smt2Backend() : Backend("smt2", "write design to SMT-LIBv2 file") { }
virtual void help()
void help() YS_OVERRIDE
{
// |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|
log("\n");
@ -1407,7 +1407,7 @@ struct Smt2Backend : public Backend {
log("from non-zero to zero in the test design.\n");
log("\n");
}
virtual void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design)
void execute(std::ostream *&f, std::string filename, std::vector<std::string> args, RTLIL::Design *design) YS_OVERRIDE
{
std::ifstream template_f;
bool bvmode = true, memmode = true, wiresmode = false, verbose = false, statebv = false, statedt = false;