There is no documentation on how the test hex files are generated.
There could be a script to generate/update the hex files from the riscv-tests repository.
Unfortunately the creation of these files is lost in history. If anyone every updates RISCV-Mini to the latest RISC-V standard, they should document how they generate the new tests.
There is no documentation on how the test hex files are generated. There could be a script to generate/update the hex files from the
riscv-tests
repository.