diff --git a/fuzzers/wcet_qemu_sys/src/system_trace.rs b/fuzzers/wcet_qemu_sys/src/system_trace.rs index cd7b2106cf..8b0c4860c8 100644 --- a/fuzzers/wcet_qemu_sys/src/system_trace.rs +++ b/fuzzers/wcet_qemu_sys/src/system_trace.rs @@ -101,6 +101,7 @@ where let target : u32= (std::mem::size_of::()*i).try_into().unwrap(); let ready_list : freertos::List_t = freertos::emu_lookup::lookup(emulator, h.ready_queues+target); let a : freertos::rtos_struct = List_struct(ready_list); + result_tup.1.insert(target,a); // println!("{:?}",ready_list); // println!("Prio: {} Number: {} first {:x}",i,ready_list.uxNumberOfItems, ready_list.pxIndex); }