diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 22:40:40 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 22:40:40 -0800 |
| commit | 25914e417a0d30793043dd37bcbc5ee977b84b36 (patch) | |
| tree | a57910fe6f76f85d97c52a701d08b41981b7cba8 /src/aig/gia/giaSpeedup.c | |
| parent | 6bff2986a2eadb73451ad9fd962b7e2c5194c8be (diff) | |
| download | abc-25914e417a0d30793043dd37bcbc5ee977b84b36.tar.gz abc-25914e417a0d30793043dd37bcbc5ee977b84b36.tar.bz2 abc-25914e417a0d30793043dd37bcbc5ee977b84b36.zip | |
Added notification about exceeding the number of nodes.
Diffstat (limited to 'src/aig/gia/giaSpeedup.c')
0 files changed, 0 insertions, 0 deletions