diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-16 14:54:11 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-16 14:54:11 -0800 |
commit | baa944e6a2abba6f7b4f9b4ef99982201913caa8 (patch) | |
tree | f6e77b124a54af44924fac6f916e54079e051d06 /src/proof/pdr/pdr.c | |
parent | 4dc7eb6f734c003c212690e6c66c4711428a8f9c (diff) | |
download | abc-baa944e6a2abba6f7b4f9b4ef99982201913caa8.tar.gz abc-baa944e6a2abba6f7b4f9b4ef99982201913caa8.tar.bz2 abc-baa944e6a2abba6f7b4f9b4ef99982201913caa8.zip |
Added 'gap timeout' to pdr.
Diffstat (limited to 'src/proof/pdr/pdr.c')
0 files changed, 0 insertions, 0 deletions