From: Claire Xenia Wolf <claire@yosyshq.com>
Date: Wed, 4 May 2022 06:10:18 +0000 (+0200)
Subject: Add propagated clock signals into btor info file
X-Git-Tag: yosys-0.17~3^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3fb32540ea3febc43fce25abcd04f42e7e1ec234;p=yosys.git

Add propagated clock signals into btor info file
---

diff --git a/backends/btor/btor.cc b/backends/btor/btor.cc
index 73e88c049..7de5deadd 100644
--- 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;