Do not sigmap
authorEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 08:03:03 +0000 (00:03 -0800)
committerEddie Hung <eddie@fpgeh.com>
Tue, 17 Dec 2019 08:03:03 +0000 (00:03 -0800)
commite82a9bc642782ea84d46ca135d2c0b6a42b9e772
tree0accee4fd64b8ca3da10a3ed495501961b51f81b
parent2e7113070010705b2c6c4a550cc2ebd3fd111ce0
Do not sigmap
backends/aiger/xaiger.cc