Tests: Imply --lint-only with test.lint()

This commit is contained in:
Wilson Snyder 2025-12-10 19:52:51 -05:00
parent 5d768a4a20
commit f9f16b438f
129 changed files with 162 additions and 204 deletions

View File

@ -859,7 +859,7 @@ class VlTest:
]
# Verilator
self.verilator_define = 'VERILATOR'
self.verilator_flags = [
self.verilator_flags = [ # See also override (search for -lint-only)
"-cc",
"-Mdir",
self.obj_dir,
@ -1183,10 +1183,15 @@ class VlTest:
"""Run a linter. Arguments similar to run(); default arguments are from self"""
param = {}
param.update(vars(self))
param.update({ # Lint-specific default overrides
param.update({ # Lint-specific default overrides (search also for -cc)
'make_main': False,
'make_top_shell': False,
'verilator_flags2': ["--lint-only"],
'verilator_flags': [
"--lint-only",
"-Mdir",
self.obj_dir,
"--debug-check",
],
'verilator_make_gmake': False
})
param.update(kwargs)

View File

@ -13,6 +13,6 @@ test.priority(100)
test.scenarios('vltmt')
test.top_filename = "t/t_EXAMPLE.v"
test.lint(v_flags=["--lint-only --verilate-jobs 2 --debug-self-test"])
test.lint(v_flags=["--verilate-jobs 2 --debug-self-test"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-CASEINCOMPLETE"])
test.lint(verilator_flags2=["-Wwarn-CASEINCOMPLETE"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-CASEINCOMPLETE"])
test.lint(verilator_flags2=["-Wwarn-CASEINCOMPLETE"])
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_clk_first_deprecated.v"
test.lint(verilator_flags2=["--lint-only"], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only", "-Wno-DEPRECATED"])
test.lint(verilator_flags2=["-Wno-DEPRECATED"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only"])
test.lint()
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only", "--top cfg21"],
test.lint(verilator_flags2=["--top cfg21"],
fails=test.vlt_all,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only"], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('simulator')
test.lint(verilator_flags2=[
'--binary', '--top cfg1', '--work liba', 't/t_config_work__liba.v', '--work libb',
'--top cfg1', '--work liba', 't/t_config_work__liba.v', '--work libb',
't/t_config_work__libb.v'
],
fails=test.vlt_all,

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only", "t/" + test.name + ".map"],
test.lint(verilator_flags2=["t/" + test.name + ".map"],
fails=test.vlt_all,
expect_filename=test.golden_filename)

View File

@ -11,9 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only"],
fails=test.vlt_all,
expect_filename=test.golden_filename)
test.lint(fails=test.vlt_all, expect_filename=test.golden_filename)
# Sort so that 'initial' scheduling order is not relevant
# test.files_identical_sorted(test.run_log_filename, test.golden_filename, is_logfile=True)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.compile(fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.compile(fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.compile(fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.compile(fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -16,7 +16,7 @@ if 'VERILATOR_TEST_NO_GDB' in os.environ:
if not test.have_gdb:
test.skip("No gdb installed")
test.lint(verilator_flags2=["--lint-only --debug --gdbbt --debug-fatalsrc"], fails='any')
test.lint(verilator_flags2=["--debug --gdbbt --debug-fatalsrc"], fails='any')
test.file_grep(test.compile_log_filename, r'%Error: Internal Error: .*: --debug-fatal-src')
test.file_grep(test.compile_log_filename, r'See the manual')

View File

@ -16,7 +16,7 @@ if 'VERILATOR_TEST_NO_GDB' in os.environ:
if not test.have_gdb:
test.skip("No gdb installed")
test.lint(verilator_flags2=["--lint-only --debug --gdbbt --debug-sigsegv"], fails='any')
test.lint(verilator_flags2=["--debug --gdbbt --debug-sigsegv"], fails='any')
test.file_grep(test.compile_log_filename, r'Program received signal SIGSEGV')
test.file_grep(test.compile_log_filename, r'in V3Options::')

View File

@ -12,8 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_opt_const.v"
test.lint(verilator_flags2=["--lint-only", "--debug-width"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["--debug-width"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=['--lint-only --timing'],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=['--timing'], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_EXAMPLE.v"
test.lint(v_flags=["--lint-only --dump-tree-dot"])
test.lint(v_flags=["--dump-tree-dot"])
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-VARHIDDEN"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-VARHIDDEN"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-VARHIDDEN"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-VARHIDDEN"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-VARHIDDEN"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -1,4 +1,3 @@
%Error: --build-jobs requires a non-negative integer, but '-1' was passed
... See the manual at https://verilator.org/verilator_doc.html?v=latest for more assistance.
%Error: The following cannot be used together: --build, --lint-only. Suggest see manual
%Error: Exiting due to

View File

@ -13,7 +13,7 @@ test.scenarios('vlt')
test.top_filename = "t/t_flag_werror.v"
test.lint(fails=True,
verilator_flags=["--build-jobs -1 --build"],
verilator_flags=["--cc --build-jobs -1 --build"],
expect_filename=test.golden_filename)
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -f file_will_not_exist.vc"],
test.lint(verilator_flags2=["-f file_will_not_exist.vc"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,8 +11,8 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=['--exe --build --main --sc'],
fails=True,
expect_filename=test.golden_filename)
test.compile(verilator_flags2=['--exe --build --main --sc'],
fails=True,
expect_filename=test.golden_filename)
test.passes()

View File

@ -12,10 +12,9 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_flag_main.v"
test.lint(verilator_flags2=[
"-Wno-DEPRECATED --binary -E --dpi-hdr-only --lint-only --xml-only --json-only -Wall"
],
fails=True,
expect_filename=test.golden_filename)
test.lint(
verilator_flags2=["-Wno-DEPRECATED --binary -E --dpi-hdr-only --xml-only --json-only -Wall"],
fails=True,
expect_filename=test.golden_filename)
test.passes()

View File

@ -13,7 +13,7 @@ test.scenarios('vlt')
test.top_filename = "t/t_flag_main.v"
test.lint(verilator_flags2=[
"-Wno-DEPRECATED --build -E -Wno-fatal --dpi-hdr-only --lint-only --xml-only --json-only"
"-Wno-DEPRECATED --build -E -Wno-fatal --dpi-hdr-only --xml-only --json-only"
],
fails=True,
expect_filename=test.golden_filename)

View File

@ -12,10 +12,9 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_flag_main.v"
test.lint(verilator_flags2=[
"-Wall -Wno-DEPRECATED --lint-only -Wno-fatal --dpi-hdr-only --xml-only --json-only"
],
fails=True,
expect_filename=test.golden_filename)
test.lint(
verilator_flags2=["-Wall -Wno-DEPRECATED -Wno-fatal --dpi-hdr-only --xml-only --json-only"],
fails=True,
expect_filename=test.golden_filename)
test.passes()

View File

@ -12,6 +12,8 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_flag_werror.v"
test.lint(fails=True, verilator_flags=["--verilate-jobs -1"], expect_filename=test.golden_filename)
test.lint(fails=True,
verilator_flags=["--lint-only --verilate-jobs -1"],
expect_filename=test.golden_filename)
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_flag_wfatal.v"
test.lint(verilator_flags2=["--lint-only -Wno-fatal"], expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wno-fatal"], expect_filename=test.golden_filename)
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wno-NOSUCHERRORASTHIS"],
test.lint(verilator_flags2=["-Wno-NOSUCHERRORASTHIS"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=['--lint-only --no-timing --bbox-unsup'])
test.lint(verilator_flags2=['--no-timing --bbox-unsup'])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=['--lint-only'], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=['--lint-only'], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only --inline-mult 1"])
test.lint(verilator_flags2=["--inline-mult 1"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(fails=True, verilator_flags2=['--hierarchical'], expect_filename=test.golden_filename)
test.compile(fails=True, verilator_flags2=['--hierarchical'], expect_filename=test.golden_filename)
test.passes()

View File

@ -11,9 +11,9 @@ import vltest_bootstrap
test.scenarios('vltmt')
test.lint(fails=True,
verilator_flags2=['t/t_hier_block_threads_bad.vlt', '-DWORKERS=8', '--hierarchical'],
expect_filename=test.golden_filename,
threads=4)
test.compile(fails=True,
verilator_flags2=['t/t_hier_block_threads_bad.vlt', '-DWORKERS=8', '--hierarchical'],
expect_filename=test.golden_filename,
threads=4)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only --Wall -Wno-DECLFILENAME"])
test.lint(verilator_flags2=["--Wall -Wno-DECLFILENAME"])
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only --Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["--Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=['--lint-only'], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,8 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_lint_always_comb_multidriven_bad.v"
test.lint(verilator_flags2=['--public-flat-rw --lint-only'],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=['--public-flat-rw'], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-BLKSEQ -Wwarn-COMBDLY"],
test.lint(verilator_flags2=["-Wwarn-BLKSEQ -Wwarn-COMBDLY"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wwarn-BLKSEQ -Wwarn-COMBDLY"])
test.lint(verilator_flags2=["-Wwarn-BLKSEQ -Wwarn-COMBDLY"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only --bbox-sys"])
test.lint(verilator_flags2=["--bbox-sys"])
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_lint_declfilename.v"
test.lint(verilator_flags2=["--lint-only -Wall"], fails=True, expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wall"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall"])
test.lint(verilator_flags2=["-Wall"])
test.passes()

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_lint_defparam.v"
test.lint(verilator_flags2=["--lint-only -Wwarn-style -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wwarn-style -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -21,6 +21,6 @@ def gen(filename):
gen(test.top_filename)
test.lint(verilator_flags2=["-E -Wall -Wno-DECLFILENAME"], expect_filename=test.golden_filename)
test.lint(verilator_flags=["-E -Wall -Wno-DECLFILENAME"], expect_filename=test.golden_filename)
test.passes()

View File

@ -24,7 +24,7 @@ def gen(filename):
gen(test.top_filename)
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -24,6 +24,6 @@ def gen(filename):
gen(test.top_filename)
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME t/t_lint_eofnewline_vlt.vlt"])
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME t/t_lint_eofnewline_vlt.vlt"])
test.passes()

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(fails=True,
verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
verilator_flags2=["-Wall -Wno-DECLFILENAME"],
expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only"])
test.lint()
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME --if-depth 10"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME --if-depth 10"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -12,8 +12,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_lint_implicit.v"
test.lint(verilator_flags2=["--lint-only -Wwarn-IMPLICIT"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-IMPLICIT"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('vlt')
# --debug-check adds extra internal message, otherwise golden log would vary
test.lint(verilator_flags2=["--lint-only --no-debug-check -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["--no-debug-check -Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_lint_incabspath.v"
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wwarn-style -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wwarn-style -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-lint"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-lint"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.top_filename = 't/t_lint_lint_bad.v'
test.lint(verilator_flags2=["--lint-only -Wwarn-lint -Wno-lint"])
test.lint(verilator_flags2=["-Wwarn-lint -Wno-lint"])
test.passes()

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(fails=True,
verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
verilator_flags2=["-Wall -Wno-DECLFILENAME"],
expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wno-DECLFILENAME"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wno-DECLFILENAME"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-UNUSED"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-UNUSED"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=['--lint-only -Wno-PROTECTED'])
test.lint(verilator_flags2=['-Wno-PROTECTED'])
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(fails=True,
verilator_flags2=['--lint-only -Wpedantic'],
expect_filename=test.golden_filename)
test.lint(fails=True, verilator_flags2=['-Wpedantic'], expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-REALCVT"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-REALCVT"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,8 +12,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.top_filename = "t/t_lint_setout_bad.v"
test.lint(verilator_flags2=["--lint-only -fno-inline"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-fno-inline"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wwarn-style"],
fails=True,
expect_filename=test.golden_filename)
test.lint(verilator_flags2=["-Wwarn-style"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.top_filename = 't/t_lint_style_bad.v'
test.lint(verilator_flags2=["--lint-only -Wwarn-style -Wno-style"])
test.lint(verilator_flags2=["-Wwarn-style -Wno-style"])
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME --if-depth 10"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME --if-depth 10"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only --bbox-unsup"])
test.lint(verilator_flags2=["--bbox-unsup"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only --bbox-unsup"])
test.lint(verilator_flags2=["--bbox-unsup"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only --bbox-sys --bbox-unsup -Wall -Wno-DECLFILENAME"])
test.lint(verilator_flags2=["--bbox-sys --bbox-unsup -Wall -Wno-DECLFILENAME"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"])
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"])
test.passes()

View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"],
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--lint-only -Wall -Wno-DECLFILENAME"])
test.lint(verilator_flags2=["-Wall -Wno-DECLFILENAME"])
test.passes()

View File

@ -11,9 +11,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only"],
fails=test.vlt_all,
expect_filename=test.golden_filename)
test.lint(fails=test.vlt_all, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename,
out_filename=test.root + "/docs/gen/ex_WIDTHEXPAND_1_faulty.rst",

View File

@ -11,8 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(fails=True,
verilator_flags2=["--no-std", "--binary -Wall"],
expect_filename=test.golden_filename)
test.lint(fails=True, verilator_flags2=["--no-std", "-Wall"], expect_filename=test.golden_filename)
test.passes()

View File

@ -14,7 +14,7 @@ test.top_filename = "t/t_no_std_bad.v"
test.golden_filename = "t/t_no_std_bad.out"
test.lint(fails=True,
verilator_flags2=["--no-std-package", "--binary -Wall"],
verilator_flags2=["--no-std-package", "-Wall"],
expect_filename=test.golden_filename)
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=[], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -12,7 +12,7 @@ import vltest_bootstrap
test.scenarios('linter')
test.top_filename = "t/t_param_default_bad.v"
test.lint(verilator_flags2=["--lint-only --language 1800-2005"],
test.lint(verilator_flags2=["--language 1800-2005"],
fails=True,
expect_filename=test.golden_filename)

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["--lint-only -Wno-SELRANGE"])
test.lint(verilator_flags2=["-Wno-SELRANGE"])
test.passes()

View File

@ -12,7 +12,8 @@ import vltest_bootstrap
test.scenarios('vlt')
test.top_filename = "t/t_pipe_filter.v"
test.lint(verilator_flags2=['-E --pipe-filter \'python3 t/t_pipe_exit_bad_pf.pf\' '], fails=True)
test.compile(verilator_flags2=['-E --pipe-filter \'python3 t/t_pipe_exit_bad_pf.pf\' '],
fails=True)
test.file_grep(test.compile_log_filename,
r'%Error: t_pipe_exit_bad_pf.pf: Intentional bad exit status....*')

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('linter')
test.lint(verilator_flags2=["-E -Wpedantic"], fails=True, expect_filename=test.golden_filename)
test.compile(verilator_flags2=["-E -Wpedantic"], fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -11,8 +11,8 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=["--json-only", "--timing"],
fails=True,
expect_filename=test.golden_filename)
test.compile(verilator_flags2=["--json-only", "--timing"],
fails=True,
expect_filename=test.golden_filename)
test.passes()

View File

@ -14,6 +14,6 @@ test.scenarios('linter')
if not test.have_solver:
test.skip("No constraint solver installed")
test.lint(verilator_flags2=["--lint-only"], fails=True, expect_filename=test.golden_filename)
test.lint(fails=True, expect_filename=test.golden_filename)
test.passes()

View File

@ -26,7 +26,7 @@
},
"invocations": [
{
"commandLine": "--prefix Vt_sarif -cc -Mdir obj_vlt/t_sarif --fdedup --debug-check --comp-limit-members 10 --x-assign unique -Wno-fatal --diagnostics-sarif --no-skip-identical -f input.vc +define+TEST_OBJ_DIR=obj_vlt/t_sarif +define+TEST_DUMPFILE=obj_vlt/t_sarif/simx.vcd t/t_sarif.v +librescan +notimingchecks +libext+.v -y t +incdir+t",
"commandLine": "--prefix Vt_sarif --lint-only -Mdir obj_vlt/t_sarif --debug-check --x-assign unique -Wno-fatal --diagnostics-sarif --no-skip-identical -f input.vc +define+TEST_OBJ_DIR=obj_vlt/t_sarif +define+TEST_DUMPFILE=obj_vlt/t_sarif/simx.vcd t/t_sarif.v +librescan +notimingchecks +libext+.v -y t +incdir+t",
"executionSuccessful": true
}
],

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.lint(verilator_flags2=["--binary"])
test.compile(verilator_flags2=["--timing"])
test.passes()

View File

@ -12,6 +12,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.top_filename = "t/t_std_process_self.v"
test.lint(verilator_flags2=["--binary --DUSE_STD_PREFIX"])
test.compile(verilator_flags2=["--binary --DUSE_STD_PREFIX"])
test.passes()

View File

@ -11,6 +11,6 @@ import vltest_bootstrap
test.scenarios('simulator')
test.lint(verilator_flags2=["--binary"])
test.lint()
test.passes()

Some files were not shown because too many files have changed in this diff Show More