Merge pull request #96 from YosysHQ/claire/btorscript
authorclairexen <claire@symbioticeda.com>
Wed, 1 Jul 2020 14:21:55 +0000 (16:21 +0200)
committerGitHub <noreply@github.com>
Wed, 1 Jul 2020 14:21:55 +0000 (16:21 +0200)
commit2751d19216957057107bba6870967edf7e5ad1c6
treea7ecb104fe607282ef1ff848aa029ebcb4dceebf
parent56c98821523fc6f9fdb0db4ff7443fadb757170d
parent655d9c6bcd7f3df80b1a94161517c20985bf294f
Merge pull request #96 from YosysHQ/claire/btorscript

Be more conservative in btor ys script