write_xaiger: fix arrival times for non boxes
authorEddie Hung <eddie@fpgeh.com>
Fri, 27 Dec 2019 19:30:18 +0000 (11:30 -0800)
committerEddie Hung <eddie@fpgeh.com>
Fri, 27 Dec 2019 19:30:18 +0000 (11:30 -0800)
commit49881b4468bbd02ac141495dd3b30c9739eb5072
treef2f84c864870618c13c07c01591bba5fe4907688
parent509070f82fa458ccc8515eb4b09f1e4ab7068110
write_xaiger: fix arrival times for non boxes
backends/aiger/xaiger.cc