From e7f27c1300ce0650aeb41482a63d935602c4b709 Mon Sep 17 00:00:00 2001 From: Valentin Thomazic Date: Mon, 18 Nov 2024 23:15:59 +0100 Subject: [PATCH] Disable tandem on riscv-tests-v tests (#2609) * Disable tandem on riscv-tests-v testlist * More relevant error message on report tandem script Related issue: #2605 --- .gitlab-ci.yml | 1 - .gitlab-ci/scripts/report_tandem.py | 6 ++++-- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index e98921ca8a..53e68abc37 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -380,7 +380,6 @@ riscv-tests-v: DV_SIMULATORS: "vcs-testharness,spike" DV_TARGET: cv64a6_imafdc_sv39 DV_TESTLISTS: "../tests/testlist_riscv-tests-$DV_TARGET-v.yaml" - SPIKE_TANDEM: 1 script: source verif/regress/dv-riscv-tests.sh after_script: *simu_after_script diff --git a/.gitlab-ci/scripts/report_tandem.py b/.gitlab-ci/scripts/report_tandem.py index fb2095bab4..c062a9f420 100644 --- a/.gitlab-ci/scripts/report_tandem.py +++ b/.gitlab-ci/scripts/report_tandem.py @@ -27,8 +27,10 @@ def main(): def check_provided_args(): - if len(sys.argv) != 2 or not os.path.exists(sys.argv[1]): - print("Usage : python report_tandem.py path/to/log/dir", file=sys.stderr) + if len(sys.argv) != 2: + sys.exit("Usage : python report_tandem.py path/to/log/dir") + + if not os.path.exists(sys.argv[1]): sys.exit("No valid log directory provided!") if len(list(glob.iglob(sys.argv[1] + "/*.yaml"))) == 0: