From 64d99416c131904b5799ab28d19e7d6933454d57 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 9 Jun 2025 15:11:00 -0700 Subject: [PATCH] Do not downgrade any warnings --- frontends/verific/verific.cc | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/frontends/verific/verific.cc b/frontends/verific/verific.cc index cec897165..ba903de2e 100644 --- a/frontends/verific/verific.cc +++ b/frontends/verific/verific.cc @@ -3595,13 +3595,13 @@ struct VerificPass : public Pass { // WARNING: instantiating unknown module 'XYZ' (VERI-1063) Message::SetMessageType("VERI-1063", VERIFIC_ERROR); - // Downgrade warnings about things that are normal - // VERIFIC-WARNING [VERI-1209] foo.sv:98: expression size 7 truncated to fit in target size 6 - Message::SetMessageType("VERI-1209", VERIFIC_INFO); - // VERIFIC-WARNING [VERI-1142] foo.sv:55: system task 'display' is ignored for synthesis - Message::SetMessageType("VERI-1142", VERIFIC_INFO); - // VERIFIC-WARNING [VERI-2418] foo.svh:503: parameter 'all_cfgs_gp' declared inside package 'bp_common_pkg' shall be treated as localparam - Message::SetMessageType("VERI-2418", VERIFIC_INFO); + // // Downgrade warnings about things that are normal (SILIMATE: NO!!!) + // // VERIFIC-WARNING [VERI-1209] foo.sv:98: expression size 7 truncated to fit in target size 6 + // Message::SetMessageType("VERI-1209", VERIFIC_INFO); + // // VERIFIC-WARNING [VERI-1142] foo.sv:55: system task 'display' is ignored for synthesis + // Message::SetMessageType("VERI-1142", VERIFIC_INFO); + // // VERIFIC-WARNING [VERI-2418] foo.svh:503: parameter 'all_cfgs_gp' declared inside package 'bp_common_pkg' shall be treated as localparam + // Message::SetMessageType("VERI-2418", VERIFIC_INFO); // https://github.com/YosysHQ/yosys/issues/1055 RuntimeFlags::SetVar("veri_elaborate_top_level_modules_having_interface_ports", 1) ;