diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-08 00:18:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-08 00:18:21 -0700 |
| commit | 9dfd8be57774e55b1d626fe48407199455379e1e (patch) | |
| tree | 7dfb11a9cfdd86f20fe06bf6c5151382e9e8f327 /src/opt | |
| parent | 07d3351c31c6f76f77c6881cd2fd7294eca091c1 (diff) | |
| download | abc-9dfd8be57774e55b1d626fe48407199455379e1e.tar.gz abc-9dfd8be57774e55b1d626fe48407199455379e1e.tar.bz2 abc-9dfd8be57774e55b1d626fe48407199455379e1e.zip | |
Adding timeout to AIG rewriting inside 'int'.
Diffstat (limited to 'src/opt')
0 files changed, 0 insertions, 0 deletions