Merge pull request #2398 from jakobwenzel/smtbmc-escape
authorclairexen <claire@symbioticeda.com>
Thu, 15 Oct 2020 16:08:59 +0000 (18:08 +0200)
committerGitHub <noreply@github.com>
Thu, 15 Oct 2020 16:08:59 +0000 (18:08 +0200)
commit66769a3f6aea4c321ad123e4b2e2c6b2c1e35415
tree1b22c84758ad3836f76e615c6bba06439be7bc6f
parent84e9fa764803e93c59aff9f10bcc1a5ae2f9f120
parent54166ae0c59dd7fd53466fd2cca0d84c6c5d44b1
Merge pull request #2398 from jakobwenzel/smtbmc-escape

smtbmc: escape identifiers in verilog testbench