diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:43:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-05-18 10:43:07 -0700 |
| commit | 21922e3e9f45023612c64753311bc2f53e59e332 (patch) | |
| tree | 8495ac9fc5cdc27bd57440b4e01b1103a5eed7f2 /src/aig | |
| parent | 67247b7209967a94d84e20b77f90dbc0ef5de108 (diff) | |
| download | abc-21922e3e9f45023612c64753311bc2f53e59e332.tar.gz abc-21922e3e9f45023612c64753311bc2f53e59e332.tar.bz2 abc-21922e3e9f45023612c64753311bc2f53e59e332.zip | |
Adding switch to dsd_match to skip small functions.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions