aboutsummaryrefslogtreecommitdiffstats
path: root/passes/cmds/logger.cc
diff options
context:
space:
mode:
Diffstat (limited to 'passes/cmds/logger.cc')
-rw-r--r--passes/cmds/logger.cc9
1 files changed, 9 insertions, 0 deletions
diff --git a/passes/cmds/logger.cc b/passes/cmds/logger.cc
index d06939c2e..ec92f1d01 100644
--- a/passes/cmds/logger.cc
+++ b/passes/cmds/logger.cc
@@ -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);