diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-11 20:56:05 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-11 20:56:05 -0800 |
commit | 3beb36778ec35702690833e6a5d01498d1113b28 (patch) | |
tree | bf9a89c9505ee2badb4eae7983cd2f2f03f90136 /src/aig/gia/giaDup.c | |
parent | 9fe4c74952691c3a6cc87dc85edb43da11dd8c8e (diff) | |
download | abc-3beb36778ec35702690833e6a5d01498d1113b28.tar.gz abc-3beb36778ec35702690833e6a5d01498d1113b28.tar.bz2 abc-3beb36778ec35702690833e6a5d01498d1113b28.zip |
Enabled counter-example minimization in 'write_counter'.
Diffstat (limited to 'src/aig/gia/giaDup.c')
0 files changed, 0 insertions, 0 deletions