Add support for more cell types to btor back-end
authorClifford Wolf <clifford@clifford.at>
Sun, 10 Dec 2017 06:16:47 +0000 (07:16 +0100)
committerClifford Wolf <clifford@clifford.at>
Sun, 10 Dec 2017 06:16:47 +0000 (07:16 +0100)
commit83cf7363096ba1454c2f7cc810df808a96794d82
tree7fb07af01ecd6e37d8c4038f5d79ee6902ee8e21
parent8069118e6e0277fd9f020754d02046d7a7d761f3
Add support for more cell types to btor back-end
backends/btor/btor.cc
backends/btor/test_cells.sh [new file with mode: 0644]