Skip to content

Run the test on this PR #16

Run the test on this PR

Run the test on this PR #16

Workflow file for this run

# Licensed under the Apache-2.0 license
name: RISC-V Compliance tests
on:
schedule:
- cron: '0 0 * * *'
push:
branches:
- riscv-compliance
# Allows you to run this workflow manually from the Actions tab
workflow_dispatch:
jobs:
compliance:
runs-on: ubuntu-24.04
steps:
- uses: actions/checkout@v4
- name: Install dependencies
run: |
sudo apt update && \
sudo apt upgrade -y && \
sudo apt install -y \
device-tree-compiler \
gcc-multilib \
gcc-riscv64-unknown-elf \
opam \
z3
- name: Install RISC-V Python tools
run: |
pip install git+https://github.com/riscv/riscv-isac.git@dev && \
pip install git+https://github.com/riscv/riscof.git
- name: Install riscv-isa-sim
run: |
git clone https://github.com/riscv-software-src/riscv-isa-sim.git && \
pushd riscv-isa-sim && \
mkdir build && \
pushd build && \
../configure --prefix=/usr && \
make -j$(nproc) && \
sudo make install && \
popd && \
popd
- name: Install Sail
run: |
opam init -a -y && \
opam install -y sail && \
echo "$HOME/.opam/default/bin" >> "$GITHUB_PATH"
- name: Install Sail RISC-V
run: |
git clone https://github.com/riscv/sail-riscv.git && \
pushd sail-riscv && \
make c_emulator/riscv_sim_RV32 ARCH=32 -j$(nproc) && \
sudo cp -r c_emulator/riscv_sim_RV32 /usr/bin && \
popd
- name: Install Rust tools
run: rustup update
- name: Checkout RISC-V tests
run: git clone https://github.com/riscv-non-isa/riscv-arch-test.git emulator/compliance-test/riscv-arch-test
- name: Run compliance tests
run: cargo run -p compliance-test -- --test_root_path emulator/compliance-test/riscv-arch-test