diff --git a/src/rt/path.rs b/src/rt/path.rs index f6cda5b3..2b9b9955 100644 --- a/src/rt/path.rs +++ b/src/rt/path.rs @@ -55,8 +55,6 @@ pub(crate) struct Schedule { pub(crate) initial_active: Option, pub(crate) threads: Vec, - - init_threads: Vec, } #[derive(Debug, Eq, PartialEq, Clone)] @@ -216,12 +214,10 @@ impl Path { 0 }; - let threads_clone = threads.clone(); self.schedules.push(Schedule { preemptions, threads, initial_active, - init_threads: threads_clone, }); self.branches.push(Branch::Schedule(i));