A RISC-V RV32 virtual prototype based on riscv-vp with symbolic execution support - View it on GitHub