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

Tests: Fix sarif reruns

This commit is contained in:
Wilson Snyder 2025-08-29 21:36:54 -04:00
parent 40dda323fe
commit fbfd1f12dd
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
test_regress/t/t_sarif.py
View File

@ -11,7 +11,7 @@ import vltest_bootstrap
test.scenarios('vlt')
test.lint(verilator_flags2=['-Wno-fatal --diagnostics-sarif'],
test.lint(verilator_flags2=['-Wno-fatal --diagnostics-sarif --no-skip-identical'],
expect_filename=test.golden_filename)
sarif_filename = test.obj_dir + "/" + test.vm_prefix + ".sarif"

2
test_regress/t/t_sarif.sarif.out
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 --clk clk -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 -cc -Mdir obj_vlt/t_sarif --fdedup --debug-check --comp-limit-members 10 --x-assign unique -Wno-fatal --diagnostics-sarif --no-skip-identical --clk clk -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
}
],