I really like @cliffordwolf 's torture testing using csmith for PicoRV32. This seems like a good thing to have in the scripts directory, and possibly in CI as well. I used this to find a bug in the RVC implementation. https://github.com/cliffordwolf/picorv32/tree/master/scripts/csmith
riscv-torture does not provide good coverage of compressed instructions. https://github.com/ucb-bar/riscv-torture/issues/7
I really like @cliffordwolf 's torture testing using csmith for PicoRV32. This seems like a good thing to have in the scripts directory, and possibly in CI as well. I used this to find a bug in the RVC implementation. https://github.com/cliffordwolf/picorv32/tree/master/scripts/csmith
He has a good writeup of the script here. https://github.com/ucb-bar/riscv-torture/issues/7#issuecomment-217152324