From db037f5015870ab3e735543a88ecc1c0556421e3 Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Tue, 10 Sep 2024 10:45:37 +0200
Subject: [PATCH] fix empty interrupt config

---
 fuzzers/FRET/src/cli.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fuzzers/FRET/src/cli.rs b/fuzzers/FRET/src/cli.rs
index 64cd9efeb4..de4ee3dd11 100644
--- a/fuzzers/FRET/src/cli.rs
+++ b/fuzzers/FRET/src/cli.rs
@@ -102,7 +102,7 @@ pub fn get_interrupt_config(kernel : &PathBuf, path : &PathBuf) -> Vec<(usize,u3
         for r in reader.records() {
             let rec = r.expect("CSV entry error");
             if stem == &rec[0] {
-                let ret = rec[6].split(';').map(|x| {
+                let ret = rec[6].split(';').filter(|x| x != &"").map(|x| {
                     let pair = x.split_once('#').expect("Interrupt config error");
                     (pair.0.parse().expect("Interrupt config error"), pair.1.parse().expect("Interrupt config error"))
                 }).collect();