Fix gcc invalidation behaviour for write_aiger
authorEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 04:56:02 +0000 (21:56 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 21 Jun 2019 04:56:02 +0000 (21:56 -0700)
commiteb13663698aa52593e53fae58bd1dfa01136fe08
treef7f65156048ce2f608b4fb48a7ef4e0a2eb1c45f
parentd2076aa6595b5448bc151a22710822a6fb314c55
Fix gcc invalidation behaviour for write_aiger
backends/aiger/aiger.cc