From: Jannis Harder <me@jix.one>
Date: Wed, 8 Jun 2022 07:43:47 +0000 (+0200)
Subject: Merge pull request #169 from jix/yices-forall
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=534ac217424c52cd7cff6ae1a2729db718c04f3a;p=SymbiYosys.git

Merge pull request #169 from jix/yices-forall

Test designs using $allconst
---

534ac217424c52cd7cff6ae1a2729db718c04f3a