From: clairexen <claire@symbioticeda.com>
Date: Wed, 1 Jul 2020 14:21:55 +0000 (+0200)
Subject: Merge pull request #96 from YosysHQ/claire/btorscript
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=2751d19216957057107bba6870967edf7e5ad1c6;p=SymbiYosys.git

Merge pull request #96 from YosysHQ/claire/btorscript

Be more conservative in btor ys script
---

2751d19216957057107bba6870967edf7e5ad1c6