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: