github/verilator
1
0
Fork 1
mirror of https://github.com/verilator/verilator.git synced 2025-04-21 12:06:55 +00:00
Code Issues Packages Projects Releases Wiki Activity

Tests: Fix some verilog.y parser coverage holes

Browse Source
This commit is contained in:
Wilson Snyder 2024-07-26 07:29:15 -04:00
parent 1600cc01a4
commit 50a5a1ff5b
5 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/V3Number.cpp
View File

@ -570,7 +570,7 @@ string V3Number::ascii(bool prefixed, bool cleanVerilog) const VL_MT_STABLE {
} }
if (isNull()) { if (isNull()) {
if (VL_UNCOVERABLE(!isEqZero())) { if (VL_UNCOVERABLE(!isEqZero())) {
out << "-%E-null-not-zero"; out << "-%E-null-not-zero"; // LCOV_EXCL_LINE
} else { } else {
out << " [null]"; out << " [null]";
} }

9
test_regress/t/t_assert_basic.v
View File

@ -35,9 +35,12 @@ module t (/*AUTOARG*/
assert (0) else $info("Info message"); assert (0) else $info("Info message");
assume (0) else $info("Info message from failing assumption"); assume (0) else $info("Info message from failing assumption");
assert (0) else $info("Info message, cyc=%d", cyc); assert (0) else $info("Info message, cyc=%d", cyc);
InWarningBlock: assert (0) else $warning("Warning.... 1.0=%f 2.0=%f", 1.0, 2.0); InWarningBlock: assert (0) else $warning;
InErrorBlock: assert (0) else $error("Error...."); InWarningMBlock: assert (0) else $warning("Warning.... 1.0=%f 2.0=%f", 1.0, 2.0);
assert (0) else $fatal(1,"Fatal...."); InErrorBlock: assert (0) else $error;
InErrorMBlock: assert (0) else $error("Error....");
assert (0) else $fatal(1, "Fatal....");
assert (0) else $fatal;
`endif `endif
end end
if (cyc==10) begin if (cyc==10) begin

4
test_regress/t/t_assert_comp_bad.out
View File

@ -32,4 +32,8 @@
: ... note: In instance 't' : ... note: In instance 't'
17 | $fatal(0, "User elaboration-time fatal"); 17 | $fatal(0, "User elaboration-time fatal");
| ^~~~~~ | ^~~~~~
%Warning-USERFATAL: t/t_assert_comp_bad.v:18:7: Elaboration system task message (IEEE 1800-2023 20.11)
: ... note: In instance 't'
18 | $fatal;
| ^~~~~~
%Error: Exiting due to %Error: Exiting due to

2
test_regress/t/t_assert_comp_bad.pl
View File

@ -61,7 +61,7 @@ if (!-r "$root/.git") {
extract( extract(
in => $Self->{golden_filename}, in => $Self->{golden_filename},
out => "../docs/gen/ex_USERFATAL_msg.rst", out => "../docs/gen/ex_USERFATAL_msg.rst",
regexp => qr/USERFATAL/); regexp => qr/USERFATAL:.* User/);
} }
ok(1); ok(1);

1
test_regress/t/t_assert_comp_bad.v
View File

@ -15,6 +15,7 @@ module t (/*AUTOARG*/);
$error; $error;
$error("User elaboration-time error"); $error("User elaboration-time error");
$fatal(0, "User elaboration-time fatal"); $fatal(0, "User elaboration-time fatal");
$fatal;
end end
endmodule endmodule