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:47 +0000 (21:56 -0700)
commitc4ea6fff65d6b2e69a31649af7e10b129c6ae0f5
tree1b0ea3a9a4c0f3a95a3562581d5b4909f5dc0dc1
parent477e566e8d203ec7754c90fc845d7f3f759f2974
Fix gcc invalidation behaviour for write_aiger
backends/aiger/aiger.cc