mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-23 09:05:32 +00:00
Code Activity

Merge pull request #2932 from YosysHQ/mwk/logger-check-expected

Browse source 
logger: Add -check-expected subcommand.
This commit is contained in:
Miodrag Milanović 2021-08-13 11:45:20 +02:00 • committed by GitHub
commit 30927df881
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 14 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

9
passes/cmds/logger.cc
View file

@ -64,6 +64,11 @@ struct LoggerPass : public Pass {
log(" -expect-no-warnings\n");
log(" gives error in case there is at least one warning that is not expected.\n");
log("\n");
log(" -check-expected\n");
log(" verifies that the patterns previously set up by -expect have actually\n");
log(" been met, then clears the expected log list. If this is not called\n");
log(" manually, the check will happen at yosys exist time instead.\n");
log("\n");
}
void execute(std::vector<std::string> args, RTLIL::Design * design) override
@ -176,6 +181,10 @@ struct LoggerPass : public Pass {
log_expect_no_warnings = true;
continue;
}
if (args[argidx] == "-check-expected") {
log_check_expected();
continue;
}
break;
}
extra_args(args, argidx, design, false);