From: Miodrag Milanović <mmicko@gmail.com>
Date: Wed, 12 Jan 2022 12:46:25 +0000 (+0100)
Subject: Merge pull request #136 from nakengelhardt/fix_pono
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=f878a0e517ebdacd77798bb3f91d5c97f4d8b958;p=SymbiYosys.git

Merge pull request #136 from nakengelhardt/fix_pono

use --witness option when calling pono
---

f878a0e517ebdacd77798bb3f91d5c97f4d8b958