Testing#Run the spec tests yourself, natively or under QEMU, and see how the ERE harness checks the guest.>Execution spec testsspec tests, natively and inside the guests>RISC-V tests under QEMUbare-metal rv32im and rv64im under QEMU>ERE validationthe HashState guest in the ERE harness