Improve converge-limit error message

This commit is contained in:
Wilson Snyder 2026-01-28 18:32:50 -05:00
parent 30e6cd9092
commit 913cf07491
10 changed files with 13 additions and 12 deletions

View File

@ -2,4 +2,4 @@
.. code-block::
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] a)
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries

View File

@ -1,4 +1,4 @@
.. comment: generated by t_lint_didnotconverge_nodbg_bad
.. code-block::
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries

View File

@ -96,8 +96,9 @@ AstNodeStmt* checkIterationLimit(AstNetlist* netlistp, const string& name, AstVa
const std::string& file = VIdProtect::protect(locp->filename());
const std::string& line = std::to_string(locp->lineno());
stmtp->add("VL_FATAL_MT(\"" + V3OutFormatter::quoteNameControls(file) + "\", " + line
+ ", \"\", \"DIDNOTCONVERGE: " + name + " region did not converge after "
+ std::to_string(limit) + " tries\");");
+ ", \"\", \"DIDNOTCONVERGE: " + name
+ " region did not converge after '--converge-limit' of " + std::to_string(limit)
+ " tries\");");
return ifp;
}

View File

@ -2709,7 +2709,7 @@
]},
{"type":"CSTMT","name":"","addr":"(QNB)","loc":"a,0:0,0:0",
"nodesp": [
{"type":"TEXT","name":"","addr":"(RNB)","loc":"a,0:0,0:0","text":"VL_FATAL_MT(\"t/t_enum_type_methods.v\", 11, \"\", \"DIDNOTCONVERGE: NBA region did not converge after 100 tries\");"}
{"type":"TEXT","name":"","addr":"(RNB)","loc":"a,0:0,0:0","text":"VL_FATAL_MT(\"t/t_enum_type_methods.v\", 11, \"\", \"DIDNOTCONVERGE: NBA region did not converge after '--converge-limit' of 100 tries\");"}
]}
],"elsesp": []},
{"type":"ASSIGN","name":"","addr":"(SNB)","loc":"d,11:8,11:9","dtypep":"(U)",
@ -2763,7 +2763,7 @@
]},
{"type":"CSTMT","name":"","addr":"(NOB)","loc":"a,0:0,0:0",
"nodesp": [
{"type":"TEXT","name":"","addr":"(OOB)","loc":"a,0:0,0:0","text":"VL_FATAL_MT(\"t/t_enum_type_methods.v\", 11, \"\", \"DIDNOTCONVERGE: Active region did not converge after 100 tries\");"}
{"type":"TEXT","name":"","addr":"(OOB)","loc":"a,0:0,0:0","text":"VL_FATAL_MT(\"t/t_enum_type_methods.v\", 11, \"\", \"DIDNOTCONVERGE: Active region did not converge after '--converge-limit' of 100 tries\");"}
]}
],"elsesp": []},
{"type":"ASSIGN","name":"","addr":"(POB)","loc":"d,11:8,11:9","dtypep":"(U)",

View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] a)
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
Aborting...

View File

@ -1,2 +1,2 @@
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_lint_didnotconverge_bad.v:7: Settle region did not converge after '--converge-limit' of 100 tries
Aborting...

View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] x)
%Error-DIDNOTCONVERGE: t/t_unopt_converge_initial.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge_initial.v:7: Settle region did not converge after '--converge-limit' of 100 tries
Aborting...

View File

@ -1,2 +1,2 @@
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 100 tries
Aborting...

View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] x)
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after 100 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 100 tries
Aborting...

View File

@ -1,3 +1,3 @@
-V{t#,#} 'stl' region trigger index 0 is active: @([hybrid] x)
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after 5 tries
%Error-DIDNOTCONVERGE: t/t_unopt_converge.v:7: Settle region did not converge after '--converge-limit' of 5 tries
Aborting...