Merge pull request #2108 from nakengelhardt/btor_internal_names
authorclairexen <claire@symbioticeda.com>
Thu, 4 Jun 2020 13:48:40 +0000 (15:48 +0200)
committerGitHub <noreply@github.com>
Thu, 4 Jun 2020 13:48:40 +0000 (15:48 +0200)
commit8efe6ee7f573296d27a9808102f31a99d3efdb58
tree0ecd0b417ac69ca2fa105d322785c8adfb39f461
parent3bffd09d6423b70ca154527c363985ff048f807d
parent8ceb6686e0f610396931c07415a0734c3da33832
Merge pull request #2108 from nakengelhardt/btor_internal_names

btor backend: add option to not include internal names