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/dch/dchChoice.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/dch/dchChoice.c')
0 files changed, 0 insertions, 0 deletions