diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-15 16:47:18 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-02-15 16:47:18 -0800 |
commit | fd0ff0171eced62f11f9cbe67570d09e6dd22065 (patch) | |
tree | 4dd6776dab7ba0414f110e9e4e660ad7888877ca /abc.rc | |
parent | 8866a1aa6dab27a80ee31cde6d68405d9634a5c2 (diff) | |
download | abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.tar.gz abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.tar.bz2 abc-fd0ff0171eced62f11f9cbe67570d09e6dd22065.zip |
Added 'gap timeout' to bmc3 and sim3.
Diffstat (limited to 'abc.rc')
0 files changed, 0 insertions, 0 deletions