# ACT4 test skip list for the Jolt RV64IMAC suite.
#
# Format: one test basename per line (stem of the generated ELF, without
# extension). Blank lines and lines starting with `#` are ignored.
# tests/arch-tests/run.sh reads this file and does not execute any listed test.
#
# Every entry MUST be preceded by (or grouped under) a `#`-prefixed reason
# comment explaining why the test is skipped. If you add a new entry and can't
# give a one-line justification, don't add it — fix the underlying issue
# instead.
#
# NOTE: Privileged-mode tests (Sm/S/U CSRs, traps, PMP, virtual memory) are
# excluded at generation time via `include_priv_tests: false` in
# test_config.yaml, so they never reach this runner. Entries here are for
# tests that are generated AND executed but fail against jolt-emu for
# reasons spec-declared to be out of scope (Non-Goals: "No tracer semantics
# changes").

# ---------------------------------------------------------------------------
# Zicsr / Zicntr / Zihpm — CSR read-modify-write instructions.
# Jolt's tracer does not implement the full CSR behavior that these ACT4
# tests probe (e.g., fine-grained mcycle/minstret semantics, illegal-CSR
# traps, side-effect ordering on csrrc/csrrci/csrrsi/csrrwi). Fixing would
# require tracer changes, which the spec (specs/act4-tests.md Non-Goals)
# puts out of scope.
# ---------------------------------------------------------------------------
Zicsr-csrrc-00
Zicsr-csrrci-00
Zicsr-csrrsi-00
Zicsr-csrrwi-00
Zicntr-csrrc-00
Zicntr-csrrs-00
Zihpm-csrrc-00

# ---------------------------------------------------------------------------
# Jolt does not support the Zihpm extension (hardware performance counters
# hpmcounter3-31). Reads of these CSRs are rejected at decode time.
# ---------------------------------------------------------------------------
Zihpm-csrrs-00

