Corrects btor2 backend
authorAman Goel <amangoel@umich.edu>
Fri, 27 Sep 2019 16:40:17 +0000 (12:40 -0400)
committerAman Goel <amangoel@umich.edu>
Fri, 27 Sep 2019 16:40:17 +0000 (12:40 -0400)
commit5eebfabe4286d47a75508677e2bc76e8b422a879
tree7cbf75e7a39127d09378e1cb941daf6b17d54cfc
parentcb0dc6e68b9432edc9c30c153954be53c8576911
Corrects btor2 backend
backends/btor/btor.cc