Add -no-startoffset option to write_aiger
authorMiodrag Milanovic <mmicko@gmail.com>
Fri, 25 Mar 2022 07:44:45 +0000 (08:44 +0100)
committerMiodrag Milanovic <mmicko@gmail.com>
Fri, 25 Mar 2022 07:44:45 +0000 (08:44 +0100)
commit4fd8b38d7a089dacfc5979b133593870b5d2c99b
tree153bf6dfba48cde9e800212758645f92a0a7eccd
parentafe258e6f8b9b2d29cbbe58b8604ca047e7fa847
Add -no-startoffset option to write_aiger
backends/aiger/aiger.cc