Skip to content

riscv-software-src/sail-riscv-tests

Repository files navigation

Test suites for the Sail RISC-V formal model

About

This repository provides precompiled test suites as releases for comprehensive testing of the Sail RISC-V model. The tests are built from the following source repositories:

Note that riscv-arch-test requires an installation of mise. Please see its installation instructions. Make sure it is activated before building the test suites.

Project Licensing

This project has multiple licenses associated with it. All work contributed solely to this repo, not included by git submodule, is licensed under the project LICENSE file. Submodules included in the project all contain their individual license files that govern their contents.

About

Precompiled test suites for comprehensive testing of the Sail RISC-V model

Resources

License

Stars

Watchers

Forks

Packages

 
 
 

Contributors