From 35c99fba3a65ccc5ed866b2f669c8baf907f3103 Mon Sep 17 00:00:00 2001 From: Alwin Berger Date: Thu, 23 May 2024 16:44:56 +0200 Subject: [PATCH] increase max abb count --- fuzzers/FRET/src/systemstate/stg.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/fuzzers/FRET/src/systemstate/stg.rs b/fuzzers/FRET/src/systemstate/stg.rs index 9eb74a499d..dd4c2d5fcf 100644 --- a/fuzzers/FRET/src/systemstate/stg.rs +++ b/fuzzers/FRET/src/systemstate/stg.rs @@ -294,9 +294,9 @@ where //============================= Graph Feedback -pub static mut STG_MAP: [u8; EDGES_MAP_SIZE] = [0; EDGES_MAP_SIZE]; +pub static mut STG_MAP: [u16; EDGES_MAP_SIZE] = [0; EDGES_MAP_SIZE]; pub static mut MAX_STG_NUM: usize = 0; -pub unsafe fn stg_map_mut_slice<'a>() -> OwnedMutSlice<'a, u8> { +pub unsafe fn stg_map_mut_slice<'a>() -> OwnedMutSlice<'a, u16> { OwnedMutSlice::from_raw_parts_mut(STG_MAP.as_mut_ptr(), STG_MAP.len()) }