From: clairexen <claire@symbioticeda.com>
Date: Thu, 15 Oct 2020 16:08:59 +0000 (+0200)
Subject: Merge pull request #2398 from jakobwenzel/smtbmc-escape
X-Git-Tag: working-ls180~243
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=66769a3f6aea4c321ad123e4b2e2c6b2c1e35415;p=yosys.git

Merge pull request #2398 from jakobwenzel/smtbmc-escape

smtbmc: escape identifiers in verilog testbench
---

66769a3f6aea4c321ad123e4b2e2c6b2c1e35415