synth: updated patron version with fix for I2C

ekiwi · Dec 14, 2023 · e84aa7f · e84aa7f
1 parent 1e16b48
commit e84aa7f
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 8 deletions.
diff --git a/synth/Cargo.lock b/synth/Cargo.lock
diff --git a/synth/Cargo.toml b/synth/Cargo.toml
@@ -8,7 +8,7 @@ edition = "2021"
 [dependencies]
 clap =  { version = "4.4.11", features = ["derive"] }
 easy-smt = "0.2.1"
-libpatron = "0.9.4"
+libpatron = "0.9.5"
 memmap2 = "0.9.0"
 num-bigint = "0.4.4"
 num-traits = "0.2.17"

diff --git a/synth/src/testbench.rs b/synth/src/testbench.rs
@@ -120,11 +120,11 @@ impl Testbench {
         // generate signals to print if we are instructed to do so
         let mut signals_to_print = vec![];
         if verbose && trace_sim {
-            for (name, expr) in name_to_ref.iter() {
-                // TODO: maybe filter
-                if expr.get_type(ctx).is_bit_vector() {
-                    // we do not print arrays
-                    signals_to_print.push((name.clone(), *expr));
+            for state in sys.states() {
+                let expr = state.symbol;
+                let name = expr.get_symbol_name(ctx).unwrap();
+                if !classify_state(name).is_synth_var() && expr.get_type(ctx).is_bit_vector() {
+                    signals_to_print.push((name.to_string(), expr));
                 }
             }
             signals_to_print.sort_by_key(|(name, _)| name.clone());