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/ssc | |
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/ssc')
0 files changed, 0 insertions, 0 deletions