From: Claire Xen <claire@clairexen.net>
Date: Mon, 15 Feb 2021 16:49:11 +0000 (+0100)
Subject: Merge pull request #2574 from dh73/master
X-Git-Tag: working-ls180~81
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27d77415408be5e61c6334655d2f82693d20af44;p=yosys.git

Merge pull request #2574 from dh73/master

Accept disable case for SVA liveness properties.
---

27d77415408be5e61c6334655d2f82693d20af44