diff --git a/test_regress/t/t_cover_assert.out b/test_regress/t/t_cover_assert.out index bfbf00219..f376db8e7 100644 --- a/test_regress/t/t_cover_assert.out +++ b/test_regress/t/t_cover_assert.out @@ -1,17 +1,6 @@ -%Warning-PROCASSINIT: t/t_cover_assert.v:13:18: Procedural assignment to declaration with initial value: 'cyc' - : ... note: In instance 't' - : ... Location of variable initialization - 13 | integer cyc = 0; - | ^ - t/t_cover_assert.v:19:7: ... Location of variable process write - : ... Perhaps should initialize instead using a reset in this process - 19 | cyc <= cyc + 1; - | ^~~ - ... For warning description see https://verilator.org/warn/PROCASSINIT?v=latest - ... Use "/* verilator lint_off PROCASSINIT */" and lint_on around source to disable this message. -%Error-UNSUPPORTED: t/t_cover_assert.v:39:11: Unsupported: Procedural concurrent assertion with clocking event inside always (IEEE 1800-2023 16.14.6) - : ... note: In instance 't' - 39 | C1: cover property(a) - | ^~~~~ +%Error-UNSUPPORTED: t/t_cover_assert.v:38:5: Unsupported: Procedural concurrent assertion with clocking event inside always (IEEE 1800-2023 16.14.6) + : ... note: In instance 't' + 38 | cover property (a) begin + | ^~~~~ ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest %Error: Exiting due to diff --git a/test_regress/t/t_cover_assert.v b/test_regress/t/t_cover_assert.v index 96235aa17..8b5f8ae1b 100644 --- a/test_regress/t/t_cover_assert.v +++ b/test_regress/t/t_cover_assert.v @@ -4,43 +4,41 @@ // SPDX-FileCopyrightText: 2023 Wilson Snyder // SPDX-License-Identifier: CC0-1.0 -module t(/*AUTOARG*/ - // Inputs - clk - ); - input clk; +module t ( + input clk +); - integer cyc = 0; - bit a; - bit b; + int cyc; + bit a; + bit b; - // Test loop - always @ (posedge clk) begin - cyc <= cyc + 1; - if (cyc == 0) begin - a <= '0; - b <= '0; - end - else if (cyc == 10) begin - a <= '1; - b <= '1; - end - else if (cyc == 11) begin - a <= '0; - b <= '1; - end - else if (cyc == 99) begin - $write("*-* All Finished *-*\n"); - $finish; - end - end + // Test loop + always @(posedge clk) begin + cyc <= cyc + 1; + if (cyc == 0) begin + a <= '0; + b <= '0; + end + else if (cyc == 10) begin + a <= '1; + b <= '1; + end + else if (cyc == 11) begin + a <= '0; + b <= '1; + end + else if (cyc == 99) begin + $write("*-* All Finished *-*\n"); + $finish; + end + end - always_ff @(posedge clk) begin - C1: cover property(a) - begin - // Assert under cover legal in some other simulators - A2: assert (b); - end - end + always_ff @(posedge clk) begin + C1 : + cover property (a) begin + // Assert under cover legal in some other simulators + A2 : assert (b); + end + end endmodule diff --git a/test_regress/t/t_lint_unused_func_bad.py b/test_regress/t/t_lint_unused_func_bad.py index 200d5ae43..a67184f6e 100755 --- a/test_regress/t/t_lint_unused_func_bad.py +++ b/test_regress/t/t_lint_unused_func_bad.py @@ -9,9 +9,9 @@ import vltest_bootstrap -test.scenarios("simulator") +test.scenarios("linter") -test.compile( +test.lint( verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME --unused-regexp blargh"], fails=True, expect_filename=test.golden_filename,