From: Jannis Harder Date: Mon, 4 Jul 2022 15:47:16 +0000 (+0200) Subject: Merge pull request #187 from jix/const_clocks X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ab98938faada18f6139e831d930d562fb752a125;p=SymbiYosys.git Merge pull request #187 from jix/const_clocks Test uninitialized FFs with constant clocks and fix btor script for this --- ab98938faada18f6139e831d930d562fb752a125