fix(rarity): update dependencies to be compatible with Selfie

- also fix some linter errors
cksystemsgroup · Mar 4, 2021 · 0e86d8d · 0e86d8d
1 parent 90c4174
commit 0e86d8d
Show file tree

Hide file tree

Showing 3 changed files with 14 additions and 9 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/src/engine/mod.rs b/src/engine/mod.rs
@@ -1,12 +1,5 @@
-pub mod bug;
-pub mod symbolic_state;
+#![allow(clippy::unnecessary_wraps)]
 
-pub use bug::Bug;
-
-use self::{
-    bug::BasicInfo,
-    symbolic_state::{Query, SymbolicState, SymbolicValue},
-};
 use crate::{
     path_exploration::ExplorationStrategy,
     solver::{BVOperator, Solver, SolverError},

diff --git a/src/rarity.rs b/src/rarity.rs
@@ -1,3 +1,4 @@
+#![allow(clippy::unnecessary_wraps)]
 #![allow(clippy::too_many_arguments)]
 
 use crate::{