diff --git a/ivtest/gold/pr1792152.gold b/ivtest/gold/pr1792152.gold index 8d42bfcd6..0f639a774 100644 --- a/ivtest/gold/pr1792152.gold +++ b/ivtest/gold/pr1792152.gold @@ -1,2 +1,2 @@ -./ivltests/pr1792152.v:2: warning: choosing typ expression. +./ivltests/pr1792152.v:2: warning: Choosing typ expression. 2 diff --git a/parse.y b/parse.y index 3a1d1cb88..6e633fd7b 100644 --- a/parse.y +++ b/parse.y @@ -3538,7 +3538,7 @@ expr_mintypmax break; } if (min_typ_max_warn > 0) { - cerr << $$->get_fileline() << ": warning: choosing "; + cerr << $$->get_fileline() << ": warning: Choosing "; switch (min_typ_max_flag) { case MIN: cerr << "min"; @@ -5905,7 +5905,7 @@ specify_item pform_module_specify_path(tmp); } | K_ifnone specify_edge_path_decl ';' - { yywarn(@1, "Sorry: ifnone with an edge-sensitive path is not supported."); + { yywarn(@1, "sorry: ifnone with an edge-sensitive path is not supported."); yyerrok; } | K_Sfullskew '(' spec_reference_event ',' spec_reference_event @@ -6144,7 +6144,7 @@ specparam break; } if (min_typ_max_warn > 0) { - cerr << tmp->get_fileline() << ": warning: choosing "; + cerr << tmp->get_fileline() << ": warning: Choosing "; switch (min_typ_max_flag) { case MIN: cerr << "min"; @@ -6244,7 +6244,7 @@ spec_notifier | spec_notifier ',' hierarchy_identifier { args_after_notifier += 1; if (args_after_notifier >= 3) { - cerr << @3 << ": warning: timing checks are not supported " + cerr << @3 << ": warning: Timing checks are not supported " "and delayed signal \"" << *$3 << "\" will not be driven." << endl; } @@ -6444,13 +6444,13 @@ statement_item /* This is roughly statement_item in the LRM */ { PNBTrigger*tmp = pform_new_nb_trigger(@3, 0, *$3); delete $3; $$ = tmp; - yywarn(@1, "Sorry: ->> with event control is not currently supported."); + yywarn(@1, "sorry: ->> with event control is not currently supported."); } | K_NB_TRIGGER K_repeat '(' expression ')' event_control hierarchy_identifier ';' { PNBTrigger*tmp = pform_new_nb_trigger(@7, 0, *$7); delete $7; $$ = tmp; - yywarn(@1, "Sorry: ->> with repeat event control is not currently supported."); + yywarn(@1, "sorry: ->> with repeat event control is not currently supported."); } | procedural_assertion_statement diff --git a/pform.cc b/pform.cc index 1a13ca249..8dd6de9fc 100644 --- a/pform.cc +++ b/pform.cc @@ -1794,7 +1794,7 @@ PExpr* pform_select_mtm_expr(PExpr*min, PExpr*typ, PExpr*max) } if (min_typ_max_warn > 0) { - cerr << res->get_fileline() << ": warning: choosing "; + cerr << res->get_fileline() << ": warning: Choosing "; switch (min_typ_max_flag) { case MIN: cerr << "min";