From: Jannis Harder <me@jix.one>
Date: Fri, 10 Jun 2022 13:24:49 +0000 (+0200)
Subject: Merge pull request #173 from jix/test-cvc
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1d21513a47b18b79f70aa1a4377bccb60ed48b10;p=SymbiYosys.git

Merge pull request #173 from jix/test-cvc

Test that cvc4 and cvc5 can be used
---

1d21513a47b18b79f70aa1a4377bccb60ed48b10