read_aiger: add -xaiger option
authorEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 20:43:29 +0000 (12:43 -0800)
committerEddie Hung <eddie@fpgeh.com>
Mon, 6 Jan 2020 20:43:29 +0000 (12:43 -0800)
commit83616e7866138a91d0b4f60b02e32877c1a34ac1
treec3f432558aadeb94962f4df72b5b65078ffb9c8c
parentb70e87137d6409b7b05d5d032617ee5d7048a86d
read_aiger: add -xaiger option
frontends/aiger/aigerparse.cc