From 8f0e54053b003aac77677e598ee4191c001a8ee6 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Thu, 10 Oct 2024 17:56:08 +0200
Subject: [PATCH] WIP: try removing interrupts within min interarrival

---
 fuzzers/FRET/src/systemstate/mutational.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/systemstate/mutational.rs b/fuzzers/FRET/src/systemstate/mutational.rs
index bc8c94ef1b..453dc1ccbf 100644
--- a/fuzzers/FRET/src/systemstate/mutational.rs
+++ b/fuzzers/FRET/src/systemstate/mutational.rs
@@ -46,7 +46,9 @@ pub fn input_bytes_to_interrupt_times(buf: &[u8], config: (usize,u32)) -> Vec<u3
         if ret[i]==0 {continue;}
         for j in i+1..ret.len()-1 {
             if ret[j]-ret[i] < config.1 as u32 * QEMU_ISNS_PER_USEC {
-                ret[j] = u32::saturating_add(ret[i],config.1 * QEMU_ISNS_PER_USEC);
+                // ret[j] = u32::saturating_add(ret[i],config.1 * QEMU_ISNS_PER_USEC);
+                ret[j] = 0; // remove the interrupt
+                ret.sort_unstable();
             } else {break;}
         }
     }