diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-16 19:55:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-09-16 19:55:38 -0700 |
| commit | fb769cf9aba46b9c3b690618d7479740917af029 (patch) | |
| tree | 7b704ba399b715bc61504afb7d034abfd860fc8a /src/aig/gia/giaShrink.c | |
| parent | bab462d5cddf4c7d607cf5396f4cbb0498978a5c (diff) | |
| download | abc-fb769cf9aba46b9c3b690618d7479740917af029.tar.gz abc-fb769cf9aba46b9c3b690618d7479740917af029.tar.bz2 abc-fb769cf9aba46b9c3b690618d7479740917af029.zip | |
Bug fixed in the resub code.
Diffstat (limited to 'src/aig/gia/giaShrink.c')
0 files changed, 0 insertions, 0 deletions