diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-26 22:55:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-26 22:55:20 -0700 |
| commit | a57a452d7e7fd2f59d38c894e8911df66549711b (patch) | |
| tree | d8dbfb58ec6f2bcc7124d2648ab4092f2f59e29a /src/aig/gia/giaMan.c | |
| parent | 950777ed50f9b59b51627da2af4efbb816bef562 (diff) | |
| download | abc-a57a452d7e7fd2f59d38c894e8911df66549711b.tar.gz abc-a57a452d7e7fd2f59d38c894e8911df66549711b.tar.bz2 abc-a57a452d7e7fd2f59d38c894e8911df66549711b.zip | |
Changes in command 'bm' to report timeout (thanks to S.W.)
Diffstat (limited to 'src/aig/gia/giaMan.c')
0 files changed, 0 insertions, 0 deletions