update

gipsyh · Dec 20, 2024 · 001197e · 001197e
1 parent 8310cd1
commit 001197e
Show file tree

Hide file tree

Showing 15 changed files with 742 additions and 741 deletions.
diff --git a/src/bmc.rs b/src/bmc.rs
@@ -1,8 +1,7 @@
 use crate::{
     options::Options,
     transys::{unroll::TransysUnroll, Transys},
-    verify::witness_encode,
-    Engine,
+    witness_encode, Engine,
 };
 use aig::Aig;
 use logic_form::Cube;

diff --git a/src/activity.rs → src/ic3/activity.rs b/src/activity.rs → src/ic3/activity.rs
diff --git a/src/frame.rs → src/ic3/frame.rs b/src/frame.rs → src/ic3/frame.rs
@@ -1,4 +1,5 @@
-use crate::{proofoblig::ProofObligation, transys::Transys, IC3};
+use super::{proofoblig::ProofObligation, IC3};
+use crate::transys::Transys;
 use logic_form::{Cube, Lemma, Lit, LitSet};
 use std::{
     collections::HashSet,

diff --git a/src/mic.rs → src/ic3/mic.rs b/src/mic.rs → src/ic3/mic.rs