Mario1159/verilator
1
0
Fork 0
forked from github/verilator
Code Pull Requests Releases 1 Activity

Tests: Mark some tests lint only

Browse Source
This commit is contained in:
Wilson Snyder 2021-03-12 16:06:47 -05:00
parent 1b985da2a1
commit 21e9794fd7
5 changed files with 7 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
test_regress/t/t_interface_missing_bad.pl
View File

@ -8,9 +8,9 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(simulator => 1);
scenarios(linter => 1);
compile(
lint(
fails => 1,
expect_filename => $Self->{golden_filename},
);

2
test_regress/t/t_lint_ifdepth_bad.pl
View File

@ -8,7 +8,7 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(vlt_all => 1);
scenarios(vlt => 1);
lint(
verilator_flags2 => ["--lint-only -Wall -Wno-DECLFILENAME --if-depth 10"],

2
test_regress/t/t_lint_implicit_def_bad.pl
View File

@ -8,7 +8,7 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(vlt_all => 1);
scenarios(vlt => 1);
compile(
verilator_flags2 => ["--lint-only -Wall -Wno-DECLFILENAME"],

2
test_regress/t/t_lint_subout_bad.pl
View File

@ -8,7 +8,7 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(vlt_all => 1);
scenarios(vlt => 1);
compile(
# No --lint-only as got compile error

4
test_regress/t/t_randomize_method_bad.pl
View File

@ -8,9 +8,9 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
# Version 2.0.
# SPDX-License-Identifier: LGPL-3.0-only OR Artistic-2.0
scenarios(simulator => 1);
scenarios(linter => 1);
compile(
lint(
fails => $Self->{vlt_all},
expect_filename => $Self->{golden_filename},
);