diff options
| author | Niklas Een <niklas@een.se> | 2013-10-04 15:20:42 -0700 |
|---|---|---|
| committer | Niklas Een <niklas@een.se> | 2013-10-04 15:20:42 -0700 |
| commit | c9635d029ebc27ce8001c6859d2b992e327ceec7 (patch) | |
| tree | 5020e1411fcceb580951c5723ca101d5ea07fcaf /src/proof/int | |
| parent | f24a4e1a4e583a3c92f7f5ca06f80a5b6b6fbc0b (diff) | |
| download | abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.tar.gz abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.tar.bz2 abc-c9635d029ebc27ce8001c6859d2b992e327ceec7.zip | |
Added 'abort' message in bridge mode for pdr -a timeout
Diffstat (limited to 'src/proof/int')
0 files changed, 0 insertions, 0 deletions