read_aiger: do not double-count outputs for flops
authorEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 16:55:36 +0000 (08:55 -0800)
committerEddie Hung <eddie@fpgeh.com>
Thu, 9 Jan 2020 16:55:36 +0000 (08:55 -0800)
commit943ea4bf9ea34960bfce517450a8a466d1c54ed3
tree077cfd8fa388940d2f07958ee058bb58e0477807
parent8a47e6ddfdb49ec172f783621a64b3a8906ff5d6
read_aiger: do not double-count outputs for flops
frontends/aiger/aigerparse.cc