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>, } +#[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) { unsafe {