[difftest] rename log_file to rtl_event_path

chipsalliance · Jan 30, 2025 · 2429a5f · 2429a5f
1 parent b85885d
commit 2429a5f
Show file tree

Hide file tree

Showing 6 changed files with 7 additions and 7 deletions.
diff --git a/difftest/spike_rs/src/runner.rs b/difftest/spike_rs/src/runner.rs
@@ -52,7 +52,7 @@ pub struct SpikeArgs {
   pub elf_file: PathBuf,
 
   /// Path to the log file
-  pub log_file: Option<PathBuf>,
+  pub rtl_event_file: Option<PathBuf>,
 
   /// vlen config
   pub vlen: u32,

diff --git a/difftest/t1-sim-checker/src/main.rs b/difftest/t1-sim-checker/src/main.rs
@@ -20,7 +20,7 @@ pub struct SimCheckerArgs {
 
   /// Path to the rtl event log file
   #[arg(long)]
-  pub log_file: PathBuf,
+  pub rtl_event_file: PathBuf,
 
   /// Path to the ELF file
   /// (override that in sim result json)
@@ -81,7 +81,7 @@ fn main() -> anyhow::Result<()> {
 
   let spike_args = SpikeArgs {
     elf_file: elf_file.clone(),
-    log_file: Some(args.log_file.clone()),
+    rtl_event_file: Some(args.rtl_event_file.clone()),
     vlen,
     dlen,
     set: isa.clone(),

diff --git a/difftest/t1-sim-checker/src/t1emu/mod.rs b/difftest/t1-sim-checker/src/t1emu/mod.rs
@@ -31,7 +31,7 @@ fn run_spike(args: &SpikeArgs) -> anyhow::Result<()> {
 }
 
 pub fn run_diff(spike_args: &SpikeArgs) -> anyhow::Result<()> {
-  let rtl_event_path = spike_args.log_file.as_ref().unwrap();
+  let rtl_event_path = spike_args.rtl_event_file.as_ref().unwrap();
   let json_file = File::open(rtl_event_path).context("in open rtl event file")?;
 
   let mut runner = SpikeRunner::new(&spike_args, true);

diff --git a/difftest/t1-sim-checker/src/t1rocketemu/mod.rs b/difftest/t1-sim-checker/src/t1rocketemu/mod.rs
@@ -31,7 +31,7 @@ fn run_spike(args: &SpikeArgs) -> anyhow::Result<()> {
 }
 
 pub fn run_diff(spike_args: &SpikeArgs) -> anyhow::Result<()> {
-  let rtl_event_path = spike_args.log_file.as_ref().unwrap();
+  let rtl_event_path = spike_args.rtl_event_file.as_ref().unwrap();
   let json_file = File::open(rtl_event_path).context("in open rtl event file")?;
 
   let mut runner = SpikeRunner::new(&spike_args, true);

diff --git a/nix/t1/run/run-emulator.nix b/nix/t1/run/run-emulator.nix
@@ -57,7 +57,7 @@ stdenvNoCC.mkDerivation (lib.recursiveUpdate
   simCheckArgs = toString [
     "--sim-result"
     "sim_result.json"
-    "--log-file"
+    "--rtl-event-file"
     "$rtlEventOutPath"
     "--log-level"
     "ERROR"

diff --git a/script/emu/src/Main.scala b/script/emu/src/Main.scala
@@ -399,7 +399,7 @@ object Main:
         simResult.toString,
         "--log-level",
         logLevel,
-        "--log-file",
+        "--rtl-event-file",
         eventFile.toString
       )
     Logger.info(s"Running offline checker: ${driverArgs.mkString(" ")}")