Revert "abc9 to write_xaiger -symbols, not -map"
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:58:40 +0000 (14:58 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 22:58:40 +0000 (14:58 -0800)
commit2811d66dea8a33b6e8440db25d8bf487f70a1dc0
tree70e5dcb18f5d6253b2c5e91950f54c1f85c1aab5
parent7ad9628f07520c06096971ec09f7ae6f7b4b7b06
Revert "abc9 to write_xaiger -symbols, not -map"

This reverts commit 04429f8152ae64de050580ec20db60ac6dc1c0e1.
passes/techmap/abc9.cc