diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-08 17:58:51 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-11-08 17:58:51 -0800 |
| commit | 0b73c7638021070962a1918616b89a1cd401b56f (patch) | |
| tree | c9857743e448c1f86e35c3b2c0ba31d31fbe1f44 /src/aig/gia/giaDup.c | |
| parent | 55e9c4d0faebbaae551618e95a77f60b9648a257 (diff) | |
| download | abc-0b73c7638021070962a1918616b89a1cd401b56f.tar.gz abc-0b73c7638021070962a1918616b89a1cd401b56f.tar.bz2 abc-0b73c7638021070962a1918616b89a1cd401b56f.zip | |
Preventing scripts from aborting if reading has failed.
Diffstat (limited to 'src/aig/gia/giaDup.c')
0 files changed, 0 insertions, 0 deletions