Skip to content

Commit

Permalink
o1vm/riscv32im: update IP for sll
Browse files Browse the repository at this point in the history
As the program changed, the initial IP also changed.
  • Loading branch information
dannywillems committed Dec 23, 2024
1 parent 1c0c81e commit 826c154
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions o1vm/tests/test_riscv_elf.rs
Original file line number Diff line number Diff line change
Expand Up @@ -15,8 +15,8 @@ fn test_registers_indexed_by_alias() {
let state = o1vm::elf_loader::parse_riscv32(&path).unwrap();
let witness = Env::<Fp>::create(PAGE_SIZE.try_into().unwrap(), state);

assert_eq!(witness.registers[Ip], 65688);
assert_eq!(witness.registers[NextIp], 65692);
assert_eq!(witness.registers[Ip], 65652);
assert_eq!(witness.registers[NextIp], 65656);
}

#[test]
Expand Down

0 comments on commit 826c154

Please sign in to comment.