From d0fa4781c6ed64cca9958a7038473205ff394aea Mon Sep 17 00:00:00 2001 From: Miodrag Milanovic Date: Tue, 20 Jan 2026 08:07:26 +0100 Subject: [PATCH] verific: Fix -sv2017 message and formatting --- frontends/verific/verific.cc | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index bace13563..92df86fd5 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3114,10 +3114,11 @@ struct VerificPass : public Pass { // |---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---|---v---| log("\n"); #ifdef VERIFIC_SYSTEMVERILOG_SUPPORT - log(" verific {-vlog95|-vlog2k|-sv2005|-sv2009|-sv2012|-sv2017|-sv} ..\n"); + log(" verific {-vlog95|-vlog2k|-sv2005|-sv2009|-sv2012|\n"); + log(" -sv2017|-sv} ..\n"); log("\n"); log("Load the specified Verilog/SystemVerilog files into Verific.\n"); - log("Note that -sv option will use parser for latest supported standard.\n"); + log("Note that -sv option will use latest supported SystemVerilog standard.\n"); log("\n"); log("All files specified in one call to this command are one compilation unit.\n"); log("Files passed to different calls to this command are treated as belonging to\n");