Tests from the RISCOF Framework
go here. The tests in this directory at present only support Linux due to me
having trouble installing opam/ocaml on Windows.
Make sure riscof is installed via pdm install -G dev -G riscof. You must
provide your own copies of gcc, ocaml, opam, and sail. Additionally,
riscv64-unknown-elf-gcc must be provided. Then, run the RISCOF framework
tests using pdm run riscof-all.
Building the SAIL RISC-V emulators required
by RISCOF is something of a pain. A gzipped Linux binary of SAIL is provided
under the bin directory, and will be decompressed on demand. The
dodo.py at the root of this repo provides a
_build_sail task for rebuilding the SAIL emulators in an opam environment.
However, this should not be relied upon for normal development.
See Testing Prerequisites and RISC-V Formal docs for more information.