Analysis::run no longer needs to be mut

Author: toolCHAINZ

jingle/src/analysis/cpa/mod.rs

@@ -52,7 +52,7 @@ where
     ///
     /// Returns an iterator over abstract states reached from the initial abstract state.
     fn run_cpa<I: Borrow<Self::State>, P: PcodeStore>(
-        &mut self,
+        &self,
         initial: I,
         pcode_store: &P,
     ) -> <<Self as ConfigurableProgramAnalysis>::Reducer as Residue<Self::State>>::Output {

jingle/src/analysis/mod.rs

@@ -34,7 +34,7 @@ where
     /// to `make_output` for any post-processing. Types can override this to provide
     /// custom run behavior.
     fn run<T: PcodeStore, I: IntoState<Self>>(
-        &mut self,
+        &self,
         store: T,
         initial_state: I,
     ) -> <Self::Reducer as Residue<Self::State>>::Output {