From: whitequark <whitequark@whitequark.org>
Date: Wed, 2 Dec 2020 23:36:22 +0000 (+0000)
Subject: Merge pull request #2468 from whitequark/cxxrtl-assert
X-Git-Tag: working-ls180~175
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e13cfe53dd62f71820b227d4c04cc47bbb95001;p=yosys.git

Merge pull request #2468 from whitequark/cxxrtl-assert

cxxrtl: use CXXRTL_ASSERT for RTL contract violations instead of assert
---

3e13cfe53dd62f71820b227d4c04cc47bbb95001