diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-23 20:32:37 -0400 |
commit | d9b5aa49f7e77505938d14affbb7f2fe287df33d (patch) | |
tree | 1bbd66bba06dc6b36870612416cc35cc726e3a61 /src/aig/gia/giaShrink.c | |
parent | 3f95853f3edd55307a09fceb220090e632de322c (diff) | |
download | abc-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