From: Claire Wolf <clifford@clifford.at>
Date: Fri, 27 Mar 2020 15:48:38 +0000 (+0100)
Subject: Merge pull request #1815 from boqwxp/fix-ef-optimize
X-Git-Tag: working-ls180~727
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4c38895fab3ca2426ffc23e40601f3042a953e47;p=yosys.git

Merge pull request #1815 from boqwxp/fix-ef-optimize

Fix solver output parsing for exists-forall optimization
---

4c38895fab3ca2426ffc23e40601f3042a953e47