From: Jannis Harder <me@jix.one>
Date: Sun, 3 Jul 2022 09:47:22 +0000 (+0200)
Subject: Merge pull request #170 from programmerjake/add-simcheck-option
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3123283eaf129d19519bf72cd48e19b097552e6;p=SymbiYosys.git

Merge pull request #170 from programmerjake/add-simcheck-option

switch to using hierarchy -smtcheck for smtlib2 solvers, allowing smtlib2_module modules
---

e3123283eaf129d19519bf72cd48e19b097552e6