Check if stimulated

diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 99ea701d952327170378d70db2057acbc76d720b..605dc8e1eb3ed341e00ecf0985e19b734780c54a 100644 (file)
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -903,7 +903,21 @@ struct SimWorker : SimShared
                                top->set_state(item.first, Const::from_string(v));
                        }
                        update();
+
+                       /*Wire *wire = topmod->wire("\\cnt");
+                       Const value = top->get_state(wire);
+                       std::stringstream ss;
+                       for (int i = GetSize(value)-1; i >= 0; i--) {
+                               switch (value[i]) {
+                                       case State::S0: ss << "0"; break;
+                                       case State::S1: ss << "1"; break;
+                                       case State::Sx: ss << "x"; break;
+                                       default: ss << "z";
+                               }
+                       }
+                       log("%s\n",ss.str().c_str());*/
                }
+       }
 };
 
 struct SimPass : public Pass {