rename mc::state -> mc::values

cucapra · Nov 17, 2023 · 78f5a4e · 78f5a4e
1 parent 1f0041f
commit 78f5a4e
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/src/mc/mod.rs b/src/mc/mod.rs
@@ -3,10 +3,10 @@
 // author: Kevin Laeufer <[email protected]>
 mod sim;
 mod smt;
-mod state;
+mod values;
 
 pub use sim::Simulator;
 pub use smt::{
     ModelCheckResult, SmtModelChecker, SmtModelCheckerOptions, SmtSolverCmd, BITWUZLA_CMD,
 };
-pub use state::{Value, ValueRef, ValueStore, Witness};
+pub use values::{Value, ValueRef, ValueStore, Witness};
diff --git a/src/mc/state.rs → src/mc/values.rs b/src/mc/state.rs → src/mc/values.rs