diff --git a/src/V3Number.cpp b/src/V3Number.cpp index 9fa4ece56..15cd9ffc2 100644 --- a/src/V3Number.cpp +++ b/src/V3Number.cpp @@ -570,7 +570,7 @@ string V3Number::ascii(bool prefixed, bool cleanVerilog) const VL_MT_STABLE { } if (isNull()) { if (VL_UNCOVERABLE(!isEqZero())) { - out << "-%E-null-not-zero"; + out << "-%E-null-not-zero"; // LCOV_EXCL_LINE } else { out << " [null]"; } diff --git a/test_regress/t/t_assert_basic.v b/test_regress/t/t_assert_basic.v index 6fa5271e8..52ab6ed42 100644 --- a/test_regress/t/t_assert_basic.v +++ b/test_regress/t/t_assert_basic.v @@ -35,9 +35,12 @@ module t (/*AUTOARG*/ assert (0) else $info("Info message"); assume (0) else $info("Info message from failing assumption"); 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); - InErrorBlock: assert (0) else $error("Error...."); - assert (0) else $fatal(1,"Fatal...."); + InWarningBlock: assert (0) else $warning; + InWarningMBlock: assert (0) else $warning("Warning.... 1.0=%f 2.0=%f", 1.0, 2.0); + InErrorBlock: assert (0) else $error; + InErrorMBlock: assert (0) else $error("Error...."); + assert (0) else $fatal(1, "Fatal...."); + assert (0) else $fatal; `endif end if (cyc==10) begin diff --git a/test_regress/t/t_assert_comp_bad.out b/test_regress/t/t_assert_comp_bad.out index 405743853..e5c696031 100644 --- a/test_regress/t/t_assert_comp_bad.out +++ b/test_regress/t/t_assert_comp_bad.out @@ -32,4 +32,8 @@ : ... note: In instance 't' 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 diff --git a/test_regress/t/t_assert_comp_bad.pl b/test_regress/t/t_assert_comp_bad.pl index 2f4344df5..3bc6896ac 100755 --- a/test_regress/t/t_assert_comp_bad.pl +++ b/test_regress/t/t_assert_comp_bad.pl @@ -61,7 +61,7 @@ if (!-r "$root/.git") { extract( in => $Self->{golden_filename}, out => "../docs/gen/ex_USERFATAL_msg.rst", - regexp => qr/USERFATAL/); + regexp => qr/USERFATAL:.* User/); } ok(1); diff --git a/test_regress/t/t_assert_comp_bad.v b/test_regress/t/t_assert_comp_bad.v index b8bcb1bb3..56a32fb8b 100644 --- a/test_regress/t/t_assert_comp_bad.v +++ b/test_regress/t/t_assert_comp_bad.v @@ -15,6 +15,7 @@ module t (/*AUTOARG*/); $error; $error("User elaboration-time error"); $fatal(0, "User elaboration-time fatal"); + $fatal; end endmodule