summaryrefslogtreecommitdiffstats
path: root/src/aig/gia/giaShrink.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-09-23 20:32:37 -0400
committerAlan Mishchenko <alanmi@berkeley.edu>2014-09-23 20:32:37 -0400
commitd9b5aa49f7e77505938d14affbb7f2fe287df33d (patch)
tree1bbd66bba06dc6b36870612416cc35cc726e3a61 /src/aig/gia/giaShrink.c
parent3f95853f3edd55307a09fceb220090e632de322c (diff)
downloadabc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.gz
abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.tar.bz2
abc-d9b5aa49f7e77505938d14affbb7f2fe287df33d.zip
Enables dumping stats into a file.
Diffstat (limited to 'src/aig/gia/giaShrink.c')
0 files changed, 0 insertions, 0 deletions