diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-12 21:34:09 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-02-12 21:34:09 -0800 |
| commit | 48e04c8f220505dd8d587096931d97997febc5df (patch) | |
| tree | 4eb3c767008812179b328a96db46104b74f11859 /src/aig | |
| parent | ee72a4caf645cf7057cdfdfc4099fb91ee45e1db (diff) | |
| download | abc-48e04c8f220505dd8d587096931d97997febc5df.tar.gz abc-48e04c8f220505dd8d587096931d97997febc5df.tar.bz2 abc-48e04c8f220505dd8d587096931d97997febc5df.zip | |
Extendig the size of command line when running ABC in batch mode.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions