From fbfd1f12ddd25c7c3c7801e8b1fc1f415a5d8882 Mon Sep 17 00:00:00 2001 From: Wilson Snyder Date: Fri, 29 Aug 2025 21:36:54 -0400 Subject: [PATCH] Tests: Fix sarif reruns --- test_regress/t/t_sarif.py | 2 +- test_regress/t/t_sarif.sarif.out | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/test_regress/t/t_sarif.py b/test_regress/t/t_sarif.py index 7780ff8e0..b62cbf5c1 100755 --- a/test_regress/t/t_sarif.py +++ b/test_regress/t/t_sarif.py @@ -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" diff --git a/test_regress/t/t_sarif.sarif.out b/test_regress/t/t_sarif.sarif.out index 58f0f611e..f99874753 100644 --- a/test_regress/t/t_sarif.sarif.out +++ b/test_regress/t/t_sarif.sarif.out @@ -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 } ],