Merge pull request #187 from jix/const_clocks
authorJannis Harder <me@jix.one>
Mon, 4 Jul 2022 15:47:16 +0000 (17:47 +0200)
committerGitHub <noreply@github.com>
Mon, 4 Jul 2022 15:47:16 +0000 (17:47 +0200)
Test uninitialized FFs with constant clocks and fix btor script for this


Trivial merge