diff --git a/test_regress/t/t_config_include_bad.out b/test_regress/t/t_config_include_bad.out new file mode 100644 index 000000000..b7cc607aa --- /dev/null +++ b/test_regress/t/t_config_include_bad.out @@ -0,0 +1,9 @@ +%Error-UNSUPPORTED: t/t_config_include_bad.v:7:1: Unsupported: Verilog 2001-config reserved word not implemented; suggest you want `include instead: 'include' + 7 | include "meant_to_tick_include.v" + | ^~~~~~~ + ... For error description see https://verilator.org/warn/UNSUPPORTED?v=latest +%Error: t/t_config_include_bad.v:7:9: syntax error, unexpected STRING + 7 | include "meant_to_tick_include.v" + | ^~~~~~~~~~~~~~~~~~~~~~~~~ + ... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance. +%Error: Exiting due to diff --git a/test_regress/t/t_config_include_bad.py b/test_regress/t/t_config_include_bad.py new file mode 100755 index 000000000..acbdae169 --- /dev/null +++ b/test_regress/t/t_config_include_bad.py @@ -0,0 +1,18 @@ +#!/usr/bin/env python3 +# DESCRIPTION: Verilator: Verilog Test driver/expect definition +# +# Copyright 2024 by Wilson Snyder. This program is free software; you +# can redistribute it and/or modify it under the terms of either the GNU +# Lesser General Public License Version 3 or the Perl Artistic License +# Version 2.0. +# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0 + +import vltest_bootstrap + +test.scenarios('linter') + +test.lint(verilator_flags2=["--lint-only -Wwarn-REALCVT"], + fails=True, + expect_filename=test.golden_filename) + +test.passes() diff --git a/test_regress/t/t_config_include_bad.v b/test_regress/t/t_config_include_bad.v new file mode 100644 index 000000000..696d8f8e6 --- /dev/null +++ b/test_regress/t/t_config_include_bad.v @@ -0,0 +1,10 @@ +// DESCRIPTION: Verilator: Verilog Test module +// +// This file ONLY is placed under the Creative Commons Public Domain, for +// any use, without warranty, 2025 by Wilson Snyder. +// SPDX-License-Identifier: CC0-1.0 + +include "meant_to_tick_include.v" + +module t; +endmodule diff --git a/test_regress/t/t_dist_warn_coverage.py b/test_regress/t/t_dist_warn_coverage.py index 1c7f19f40..0a973ec52 100755 --- a/test_regress/t/t_dist_warn_coverage.py +++ b/test_regress/t/t_dist_warn_coverage.py @@ -110,7 +110,6 @@ for s in [ 'Unsupported: \'{} tagged patterns', 'Unsupported: always[] (in property expression)', 'Unsupported: assertion items in clocking blocks', - 'Unsupported: default clocking identifier', 'Unsupported: don\'t know how to deal with ', 'Unsupported: eventually[] (in property expression)', 'Unsupported: extern forkjoin',