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)
commitab98938faada18f6139e831d930d562fb752a125
treea6a7378aaa4348fb04e325a1cbb43ecb6afc4b0e
parent9016031f329bb450ea4c81ac9ce539c2c489ce45
parentff802086b4b1b9d9ca0c74fd5fa521b5316bbe4c
Merge pull request #187 from jix/const_clocks

Test uninitialized FFs with constant clocks and fix btor script for this