diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:49:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-07 09:49:08 -0700 |
| commit | 31d85e732b2648049171abfb906216dfe31449f3 (patch) | |
| tree | 60cbeb56bcc719706f9635002869fbcc87290d87 /src/base/main/mainInt.h | |
| parent | 00eafb2325ba53bc73f633257edcc7066e662b32 (diff) | |
| download | abc-31d85e732b2648049171abfb906216dfe31449f3.tar.gz abc-31d85e732b2648049171abfb906216dfe31449f3.tar.bz2 abc-31d85e732b2648049171abfb906216dfe31449f3.zip | |
Added warning for GIA reader when input AIG has dangling nodes.
Diffstat (limited to 'src/base/main/mainInt.h')
0 files changed, 0 insertions, 0 deletions