luke
/
verilator
mirror of https://github.com/verilator/verilator.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Tests: Fix relocation of extract tests

This commit is contained in:
Wilson Snyder 2025-04-30 23:02:19 -04:00
parent 8b52bd817f
commit 2c0372acdf
11 changed files with 39 additions and 29 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
test_regress/t/t_assert_comp_bad.py
View File

@ -23,35 +23,35 @@ test.compile(verilator_flags2=['--assert'],
expect_filename=test.golden_filename) expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_USERWARN_faulty.rst", out_filename=root + "/docs/gen/ex_USERWARN_faulty.rst",
regexp=r'\$warn.*User') regexp=r'\$warn.*User')
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_USERERROR_faulty.rst", out_filename=root + "/docs/gen/ex_USERERROR_faulty.rst",
regexp=r'\$error.*User') regexp=r'\$error.*User')
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_USERINFO_faulty.rst", out_filename=root + "/docs/gen/ex_USERINFO_faulty.rst",
regexp=r'\$info.*User') regexp=r'\$info.*User')
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_USERFATAL_faulty.rst", out_filename=root + "/docs/gen/ex_USERFATAL_faulty.rst",
regexp=r'\$fatal.*User') regexp=r'\$fatal.*User')
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_USERWARN_msg.rst", out_filename=root + "/docs/gen/ex_USERWARN_msg.rst",
regexp=r'USERWARN:.* User') regexp=r'USERWARN:.* User')
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_USERERROR_msg.rst", out_filename=root + "/docs/gen/ex_USERERROR_msg.rst",
regexp=r'USERERROR:.* User') regexp=r'USERERROR:.* User')
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_USERINFO_msg.rst", out_filename=root + "/docs/gen/ex_USERINFO_msg.rst",
regexp=r'-Info:.* User') regexp=r'-Info:.* User')
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_USERFATAL_msg.rst", out_filename=root + "/docs/gen/ex_USERFATAL_msg.rst",
regexp=r'USERFATAL:.* User') regexp=r'USERFATAL:.* User')
test.passes() test.passes()

9
test_regress/t/t_lint_badvltpragma_bad.py
View File

@ -11,14 +11,19 @@ import vltest_bootstrap
test.scenarios('vlt') test.scenarios('vlt')
root = ".."
if not os.path.exists(root + "/.git"):
test.skip("Not in a git repository")
test.lint(fails=True, expect_filename=test.golden_filename) test.lint(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_BADVLTPRAGMA_faulty.rst", out_filename=root + "/docs/gen/ex_BADVLTPRAGMA_faulty.rst",
lines="7") lines="7")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_BADVLTPRAGMA_msg.rst", out_filename=root + "/docs/gen/ex_BADVLTPRAGMA_msg.rst",
lines="1-3") lines="1-3")
test.passes() test.passes()

4
test_regress/t/t_lint_didnotconverge_bad.py
View File

@ -21,11 +21,11 @@ test.compile(verilator_flags2=["--prof-cfuncs"])
test.execute(fails=True, expect_filename=test.golden_filename) test.execute(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_DIDNOTCONVERGE_faulty.rst", out_filename=root + "/docs/gen/ex_DIDNOTCONVERGE_faulty.rst",
lines="16-17") lines="16-17")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_DIDNOTCONVERGE_msg.rst", out_filename=root + "/docs/gen/ex_DIDNOTCONVERGE_msg.rst",
lines="1-2") lines="1-2")
test.passes() test.passes()

2
test_regress/t/t_lint_didnotconverge_nodbg_bad.py
View File

@ -22,7 +22,7 @@ test.compile(make_flags=['CPPFLAGS_ADD=-UVL_DEBUG'])
test.execute(fails=True, expect_filename=test.golden_filename) test.execute(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_DIDNOTCONVERGE_nodbg_msg.rst", out_filename=root + "/docs/gen/ex_DIDNOTCONVERGE_nodbg_msg.rst",
lines="1") lines="1")
test.passes() test.passes()

4
test_regress/t/t_lint_multidriven_bad.py
View File

@ -19,11 +19,11 @@ if not os.path.exists(root + "/.git"):
test.lint(fails=True, expect_filename=test.golden_filename) test.lint(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_MULTIDRIVEN_faulty.rst", out_filename=root + "/docs/gen/ex_MULTIDRIVEN_faulty.rst",
lines="31-36") lines="31-36")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_MULTIDRIVEN_msg.rst", out_filename=root + "/docs/gen/ex_MULTIDRIVEN_msg.rst",
lines="10,11,14") lines="10,11,14")
test.passes() test.passes()

4
test_regress/t/t_lint_pinmissing_bad.py
View File

@ -19,11 +19,11 @@ if not os.path.exists(root + "/.git"):
test.lint(fails=True, expect_filename=test.golden_filename) test.lint(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_PINMISSING_faulty.rst", out_filename=root + "/docs/gen/ex_PINMISSING_faulty.rst",
lines="7-12") lines="7-12")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_PINMISSING_msg.rst", out_filename=root + "/docs/gen/ex_PINMISSING_msg.rst",
lines="1-1") lines="1-1")
test.passes() test.passes()

4
test_regress/t/t_lint_pkgnodecl_bad.py
View File

@ -19,11 +19,11 @@ if not os.path.exists(root + "/.git"):
test.lint(fails=True, expect_filename=test.golden_filename) test.lint(fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_PKGNODECL_faulty.rst", out_filename=root + "/docs/gen/ex_PKGNODECL_faulty.rst",
lines="7-12") lines="7-12")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_PKGNODECL_msg.rst", out_filename=root + "/docs/gen/ex_PKGNODECL_msg.rst",
lines="1") lines="1")
test.passes() test.passes()

11
test_regress/t/t_lint_procassinit_bad.py
View File

@ -11,20 +11,25 @@ import vltest_bootstrap
test.scenarios('vlt') test.scenarios('vlt')
root = ".."
if not os.path.exists(root + "/.git"):
test.skip("Not in a git repository")
test.lint(verilator_flags2=['-Wall -Wno-DECLFILENAME'], test.lint(verilator_flags2=['-Wall -Wno-DECLFILENAME'],
fails=True, fails=True,
expect_filename=test.golden_filename) expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_PROCASSINIT_faulty.rst", out_filename=root + "/docs/gen/ex_PROCASSINIT_faulty.rst",
lines="26-32") lines="26-32")
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_PROCASSINIT_fixed.rst", out_filename=root + "/docs/gen/ex_PROCASSINIT_fixed.rst",
lines="36-45") lines="36-45")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_PROCASSINIT_msg.rst", out_filename=root + "/docs/gen/ex_PROCASSINIT_msg.rst",
lines="1-9") lines="1-9")
test.passes() test.passes()

4
test_regress/t/t_lint_stmtdly_bad.py
View File

@ -19,11 +19,11 @@ if not os.path.exists(root + "/.git"):
test.lint(verilator_flags2=["--no-timing"], fails=True, expect_filename=test.golden_filename) test.lint(verilator_flags2=["--no-timing"], fails=True, expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_STMTDLY_faulty.rst", out_filename=root + "/docs/gen/ex_STMTDLY_faulty.rst",
lines="10") lines="10")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_STMTDLY_msg.rst", out_filename=root + "/docs/gen/ex_STMTDLY_msg.rst",
lines="1") lines="1")
test.passes() test.passes()

6
test_regress/t/t_lint_widthexpand_docs_bad.py
View File

@ -21,16 +21,16 @@ test.lint(verilator_flags2=["--lint-only"],
expect_filename=test.golden_filename) expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_WIDTHEXPAND_1_faulty.rst", out_filename=root + "/docs/gen/ex_WIDTHEXPAND_1_faulty.rst",
lines="8-10") lines="8-10")
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_WIDTHEXPAND_1_msg.rst", out_filename=root + "/docs/gen/ex_WIDTHEXPAND_1_msg.rst",
lineno_adjust=-7, lineno_adjust=-7,
regexp=r'Warning-WIDTH') regexp=r'Warning-WIDTH')
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_WIDTHEXPAND_1_fixed.rst", out_filename=root + "/docs/gen/ex_WIDTHEXPAND_1_fixed.rst",
lines="18") lines="18")
test.passes() test.passes()

4
test_regress/t/t_var_bad_hide_docs.py
View File

@ -21,11 +21,11 @@ test.lint(verilator_flags2=["--lint-only -Wwarn-VARHIDDEN"],
expect_filename=test.golden_filename) expect_filename=test.golden_filename)
test.extract(in_filename=test.top_filename, test.extract(in_filename=test.top_filename,
out_filename="../docs/gen/ex_VARHIDDEN_faulty.rst", out_filename=root + "/docs/gen/ex_VARHIDDEN_faulty.rst",
regexp=r'(module t|integer|endmodule)') regexp=r'(module t|integer|endmodule)')
test.extract(in_filename=test.golden_filename, test.extract(in_filename=test.golden_filename,
out_filename="../docs/gen/ex_VARHIDDEN_msg.rst", out_filename=root + "/docs/gen/ex_VARHIDDEN_msg.rst",
lineno_adjust=-6, lineno_adjust=-6,
regexp=r'(var_bad_hide)') regexp=r'(var_bad_hide)')