read_aiger to not do -purge for clean
authorEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 01:33:04 +0000 (17:33 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Thu, 21 Feb 2019 01:33:04 +0000 (17:33 -0800)
commit9e299a090878bec9c5dcfe824610098c073a3364
tree7859047e51f7a47805a004cc547d4a53fbccd222
parent32853b1f8d8cefff36bf5852a04cdaef1bcb2035
read_aiger to not do -purge for clean
frontends/aiger/aigerparse.cc