write_xaiger: use sigmap bits more consistently
authorEddie Hung <eddie@fpgeh.com>
Mon, 16 Dec 2019 18:21:08 +0000 (10:21 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 16 Dec 2019 18:21:57 +0000 (10:21 -0800)
commit6c340112fee1bb8989cbd41923aaa627d77d5110
treee54a3aea57dae79efb15b6d3b36e4ef56b547e90
parentc0339bbbf16cee8121417f69305c7601122ff70c
write_xaiger: use sigmap bits more consistently
backends/aiger/xaiger.cc