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 05:10:43 +0000 (22:10 -0700)
commit4422b7311b8d672df386f993b413d32baad8550b
tree74fedf49add7bbd247584806d559b8fe9aba1e11
parent32f8014e121cd3338d6786269455c8b3fe9f1631
Fix gcc invalidation behaviour for write_aiger
backends/aiger/aiger.cc