From ba3850cf4d766a6ba8c4abe1aadad42f849bf15a Mon Sep 17 00:00:00 2001
From: Alwin Berger <alwin.berger@tu-dortmund.de>
Date: Wed, 8 May 2024 12:49:40 +0200
Subject: [PATCH] remove stg feedback from systemstate flag

---
 fuzzers/FRET/src/systemstate/stg.rs | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/fuzzers/FRET/src/systemstate/stg.rs b/fuzzers/FRET/src/systemstate/stg.rs
index d4e86611dd..ced853e783 100644
--- a/fuzzers/FRET/src/systemstate/stg.rs
+++ b/fuzzers/FRET/src/systemstate/stg.rs
@@ -144,8 +144,17 @@ pub struct StgFeedback
     name: String,
     last_trace: Option<Vec<NodeIndex>>,
 }
+#[cfg(feature = "feed_stg")]
+const INTEREST_EDGE : bool = false;
+#[cfg(feature = "feed_stg")]
+const INTEREST_NODE : bool = false;
+#[cfg(feature = "feed_stg")]
+const INTEREST_AGGREGATE : bool = false;
+#[cfg(not(feature = "feed_stg"))]
 const INTEREST_EDGE : bool = true;
+#[cfg(not(feature = "feed_stg"))]
 const INTEREST_NODE : bool = true;
+#[cfg(not(feature = "feed_stg"))]
 const INTEREST_AGGREGATE : bool = true;
 fn set_observer_map(trace : &Vec<EdgeIndex>) {
     unsafe {