diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-18 16:21:10 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-12-18 16:21:10 +0700 |
| commit | efc1c8588e674d4bd4df1aaaa81f2892da56e0f7 (patch) | |
| tree | 87f014bb1777347b9acfa0ada6ed87f68157eca6 /src/aig/gia/giaConstr.c | |
| parent | 227963f03d0b362d7093a60b03fcc076fc0daf73 (diff) | |
| download | abc-efc1c8588e674d4bd4df1aaaa81f2892da56e0f7.tar.gz abc-efc1c8588e674d4bd4df1aaaa81f2892da56e0f7.tar.bz2 abc-efc1c8588e674d4bd4df1aaaa81f2892da56e0f7.zip | |
Fixed problem with timeout in &bmc.
Diffstat (limited to 'src/aig/gia/giaConstr.c')
0 files changed, 0 insertions, 0 deletions