construct simulator

examples/sim.rs

@@ -33,11 +33,12 @@ fn main() {
     }
 
     let input_name_to_ref: HashMap<String, usize> = HashMap::from_iter(
-        sys.get_signals(|s| s.kind == ir::SignalKind::Input)
+        sys.get_signals(|s| s.kind == SignalKind::Input)
             .iter()
             .enumerate()
             .map(|(idx, (e, _))| (e.get_symbol_name(&ctx).unwrap().to_string(), idx)),
     );
-
     println!("{:?}", input_name_to_ref);
+
+    let sim = libpatron::sim::interpreter::Interpreter::new(&ctx, &sys);
 }

src/lib.rs

@@ -7,4 +7,4 @@ extern crate lazy_static;
 pub mod btor2;
 pub mod ir;
 pub mod mc;
-mod sim;
+pub mod sim;

src/sim/interpreter.rs

@@ -2,8 +2,8 @@
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 
+use super::values::{ScalarValue, ValueStore};
 use crate::ir::*;
-use crate::sim::{ScalarValue, ValueStore};
 
 /// Specifies how to initialize states that do not have
 #[derive(Debug, PartialEq, Copy, Clone)]

src/sim/mod.rs

@@ -6,5 +6,3 @@ mod values;
 // released under BSD 3-Clause License
 // author: Kevin Laeufer <[email protected]>
 pub mod interpreter;
-
-pub use values::{ArrayValue, ScalarValue, ScalarValueRef, Value, ValueRef, ValueStore};