Merge pull request #2109 from nakengelhardt/btor_internal_names
authorN. Engelhardt <nak@symbioticeda.com>
Fri, 5 Jun 2020 09:36:08 +0000 (11:36 +0200)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 09:36:08 +0000 (11:36 +0200)
commit9669e0c7d50601263345d20fcbdb6a1b2001efc1
tree82d27383ffd140af29ed35da6609bb946cda0479
parent7112f187cd5c8c34c7945132cb90d5a11fcfa554
parent82798ae57512fe410494821ca2d177116b3a3c63
Merge pull request #2109 from nakengelhardt/btor_internal_names

btor backend: make not printing internal names default