test uninited FFs with const clks and fix btor script for this
authorJannis Harder <me@jix.one>
Wed, 29 Jun 2022 16:00:52 +0000 (18:00 +0200)
committerJannis Harder <me@jix.one>
Mon, 4 Jul 2022 12:03:56 +0000 (14:03 +0200)
commitff802086b4b1b9d9ca0c74fd5fa521b5316bbe4c
treea6a7378aaa4348fb04e325a1cbb43ecb6afc4b0e
parent9016031f329bb450ea4c81ac9ce539c2c489ce45
test uninited FFs with const clks and fix btor script for this
sbysrc/sby_core.py
tests/regression/const_clocks.sby [new file with mode: 0644]