From 7ad2f6fa6baa68fe5404a722a8a6852fa30587a8 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Mon, 9 Sep 2024 16:06:41 +0200
Subject: [PATCH] rename keys

---
 fuzzers/FRET/src/fuzzer.rs                 | 6 +++---
 fuzzers/FRET/src/systemstate/mutational.rs | 2 +-
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/fuzzers/FRET/src/fuzzer.rs b/fuzzers/FRET/src/fuzzer.rs
index bf97a7c26c..063b011ff0 100644
--- a/fuzzers/FRET/src/fuzzer.rs
+++ b/fuzzers/FRET/src/fuzzer.rs
@@ -277,7 +277,7 @@ let isr_ranges : Vec<_> = isr_ranges.into_iter().collect();
 fn setup_interrupt_inputs(mut input : MultipartInput<BytesInput>, interrupt_config : &Vec<(usize,u32)>) -> MultipartInput<BytesInput> {
     #[cfg(feature = "fuzz_int")]
     for (i,_) in interrupt_config {
-        let name = format!("interrupts_{}",i);
+        let name = format!("isr_{}_times",i);
         if input.parts_by_name(&name).next().is_none() {
             input.add_part(name, BytesInput::new([0; MAX_NUM_INTERRUPT*4].to_vec()));
         }
@@ -346,7 +346,7 @@ let run_client = |state: Option<_>, mut mgr, _core_id| {
             {
                 for &c in &interrupt_config {
                     let (i,_) = c;
-                    let name = format!("interrupts_{}",i);
+                    let name = format!("isr_{}_times",i);
                     let input_bytes = input.parts_by_name(&name).next().map(|x| x.1.bytes()).unwrap_or(&[0u8; MAX_NUM_INTERRUPT*4]);
                     let t = input_bytes_to_interrupt_times(input_bytes, c);
                     for j in 0..t.len() {libafl_interrupt_offsets[i][j]=t[j];}
@@ -608,7 +608,7 @@ let run_client = |state: Option<_>, mut mgr, _core_id| {
                             let mut dumper = |marker : String| {
                                 let d = format!("{}.case",marker);
                                 do_dump_case!(state, &cli, &d);
-                                let _d = format!("{}.stg",marker);
+                                let _d = format!("{}.dot",marker);
                                 do_dump_stg!(state, &cli, &_d);
                                 let d = format!("{}.toprated",marker);
                                 do_dump_toprated!(state, &cli, &d);
diff --git a/fuzzers/FRET/src/systemstate/mutational.rs b/fuzzers/FRET/src/systemstate/mutational.rs
index 71f4909e4e..28bd379497 100644
--- a/fuzzers/FRET/src/systemstate/mutational.rs
+++ b/fuzzers/FRET/src/systemstate/mutational.rs
@@ -143,7 +143,7 @@ where
                 Some(s) => s,
                 Option::None => return Ok(())
             };
-            let name = format!("interrupts_{}", interrup_config.0);
+            let name = format!("isr_{}_times", interrup_config.0);
             // manager.log(state, LogSeverity::Info, format!("Mutation {}/{}", loopbound, loopcount))?;
             loopbound-=1;
         let current_case = state.current_testcase()?;