Revert "write_xaiger: only instantiate each whitebox cell type once"
authorDavid Shah <davey1576@gmail.com>
Fri, 27 Dec 2019 23:25:20 +0000 (23:25 +0000)
committerGitHub <noreply@github.com>
Fri, 27 Dec 2019 23:25:20 +0000 (23:25 +0000)
commitdf31ade3b3b4f19e997c3cc8800a4a88e0a71177
tree08ac8ebc4479d323f202f87803e5e19831fec9bf
parent3e14ff16676884a1f65cf0eeb0ca9cb1958b8804
Revert "write_xaiger: only instantiate each whitebox cell type once"
backends/aiger/xaiger.cc