parse_xaiger() to do "clean -purge"
authorEddie Hung <eddie@fpgeh.com>
Fri, 30 Aug 2019 00:24:25 +0000 (17:24 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 30 Aug 2019 00:24:25 +0000 (17:24 -0700)
commit5d16bf831688ff665b0ec2abd6835b71320b2db5
treef7bbb34a49a5da5aeeb89aa99b2d5731d626326e
parent18cabe9370c46b72e9fb52eb9be5a7c7fb873274
parse_xaiger() to do "clean -purge"
frontends/aiger/aigerparse.cc