diff --git a/rvsol/test/RISCV.t.sol b/rvsol/test/RISCV.t.sol index 3b89c1d4..cada3544 100644 --- a/rvsol/test/RISCV.t.sol +++ b/rvsol/test/RISCV.t.sol @@ -2386,7 +2386,8 @@ contract RISCV_Test is CommonTest { (State memory state, bytes memory proof) = constructRISCVState(0, insn); bytes memory encodedState = encodeState(state); // Invalid memory proof - proof = hex"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"; + proof = + hex"000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"; vm.expectRevert(hex"00000000000000000000000000000000000000000000000000000000badf00d1"); riscv.step(encodedState, proof, 0);