style: clippy

src/prototype/smart_system_update_fn.rs

@@ -1438,7 +1438,7 @@ mod tests {
             .take(1)
             .for_each(|dirent| {
                 println!("dirent = {:?}", dirent);
-                let filepath = dirent.expect("could not read file").path();
+                let _filepath = dirent.expect("could not read file").path();
 
                 let filepath = "data/large/146_BUDDING-YEAST-FAURE-2009.sbml".to_string();
 

src/symbolic_domains/symbolic_domain.rs

@@ -1,7 +1,7 @@
 use std::collections::HashSet;
 
 use biodivine_lib_bdd::{
-    Bdd, BddPartialValuation, BddValuation, BddVariable, BddVariableSet, BddVariableSetBuilder,
+    Bdd, BddPartialValuation, BddVariable, BddVariableSet, BddVariableSetBuilder,
 };
 
 pub trait SymbolicDomain<T> {

tests/some_test.rs

@@ -229,12 +229,6 @@ impl TheFourImpls<NewDomain, OldDomain> {
             new_smart_bdd: new_smart,
         }
     }
-
-    fn are_dumb_update_fns_same(&self) -> bool {
-        let old_dumb = self.old_dumb.update_fns.iter().map(|(xed, xd)| {});
-
-        todo!()
-    }
 }
 
 // #[test]
@@ -474,16 +468,10 @@ fn check_specific() {
             // >::from_path(filepath.to_str().expect("could not convert to str"));
         >::from_path(&filepath);
 
-        let the_four_check = TheFourImpls::<
-            NewDomain,
-            OldDomain,
-            // >::from_path(filepath.to_str().expect("could not convert to str"));
-        >::from_path(&filepath);
-
         // vector of bdds, one for each value of each variable
         let simple_initial_states = the_four.bbd_for_each_value_of_each_variable();
 
-        for (count, initial_state) in simple_initial_states.iter().enumerate() {
+        for (_, initial_state) in simple_initial_states.iter().enumerate() {
             let variable = the_four
                 .old_dumb
                 .named_symbolic_domains