Add propagated clock signals into btor info file

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 73e88c049b69cfe2555d2b2910a6cae1003dce07..7de5deadd71b089d92a654dd6f7445113fdd4273 100644 (file)
--- a/backends/btor/btor.cc
+++ b/backends/btor/btor.cc
@@ -1220,6 +1220,8 @@ struct BtorWorker
 
                        int this_nid = next_nid++;
                        btorf("%d uext %d %d %d%s\n", this_nid, sid, nid, 0, getinfo(wire).c_str());
+                       if (info_clocks.count(nid))
+                               info_clocks[this_nid] |= info_clocks[nid];
 
                        btorf_pop(stringf("wire %s", log_id(wire)));
                        continue;