From 0d283305215052af4ecd788f83a09af5e28d59a4 Mon Sep 17 00:00:00 2001 From: Clo91eaf Date: Fri, 7 Jun 2024 16:35:32 +0800 Subject: [PATCH] [difftest] fix wrong arch config --- difftest/t1-simulator/src/difftest/spike.rs | 2 +- difftest/t1-simulator/src/difftest/spike/spike_event.rs | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/difftest/t1-simulator/src/difftest/spike.rs b/difftest/t1-simulator/src/difftest/spike.rs index 3994639c4..0fd2b9fcd 100644 --- a/difftest/t1-simulator/src/difftest/spike.rs +++ b/difftest/t1-simulator/src/difftest/spike.rs @@ -281,7 +281,7 @@ impl SpikeHandle { let entry_addr = load_elf(fname).unwrap(); // initialize spike - let arch = "vlen:1024,elen:32"; + let arch = &format!("vlen:{vlen},elen:32"); let lvl = "M"; let spike = Spike::new(arch, &set, lvl); diff --git a/difftest/t1-simulator/src/difftest/spike/spike_event.rs b/difftest/t1-simulator/src/difftest/spike/spike_event.rs index 5bc2c493e..fb1bdde3b 100644 --- a/difftest/t1-simulator/src/difftest/spike/spike_event.rs +++ b/difftest/t1-simulator/src/difftest/spike/spike_event.rs @@ -243,7 +243,7 @@ impl SpikeEvent { byte: cur_byte, executed: false, }); - info!( + trace!( "SpikeVRFChange: vrf={:?}, change_from={origin_byte}, change_to={cur_byte}, vrf_idx={offset}", vec![offset / vlen_in_bytes, offset % vlen_in_bytes], );