Fix VM, MIP encoding
[riscv-tests.git] / env
1