commit c6e0c8150b75352638a1dfa5b63a86502748a301
author Philipp Wagner <phw@lowrisc.org> Fri Sep 18 16:27:38 2020 +0100
committer Philipp Wagner <mail@philipp-wagner.com> Mon Sep 21 18:37:56 2020 +0100
tree 67bde90c0a4f529628d12af7091e7562b8488b34
parent 70da32964426bf8b613ebba7131bd7adae0612eb

[ci] Update CI setup to run RISC-V Compliance

Only a variable changed.

Signed-off-by: Philipp Wagner <phw@lowrisc.org>

ci/run-riscv-compliance.yml

diff --git a/ci/run-riscv-compliance.yml b/ci/run-riscv-compliance.yml
index 57c1ecb..e98391a 100644
--- a/ci/run-riscv-compliance.yml
+++ b/ci/run-riscv-compliance.yml
@@ -31,8 +31,8 @@
           export RISCV_DEVICE=rv32imc
           export RISCV_TARGET=opentitan
           export OT_BIN="$BIN_DIR"
-          export OT_TARGET=verilator
+          export OT_TARGET=sim_verilator
           export OT_TOOLS="$TOOLCHAIN_PATH/bin"
           cd sw/vendor/riscv_compliance
-          make RISCV_ISA=${{ test_suite }}
+          make RISCV_ISA=${{ test_suite }} VERBOSE=1
         displayName: Execute ${{ test_suite }}