diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-16 21:52:09 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-16 21:52:09 -0700 |
commit | df418d6cba58a529e02ff143388c8514282bc70b (patch) | |
tree | 5527550f566baf44e422b4e5b0321f9a9d37ef00 /src/proof/bbr | |
parent | e20364896eeb0fba7d23fe6047fe8cd05c6ad648 (diff) | |
download | abc-df418d6cba58a529e02ff143388c8514282bc70b.tar.gz abc-df418d6cba58a529e02ff143388c8514282bc70b.tar.bz2 abc-df418d6cba58a529e02ff143388c8514282bc70b.zip |
Bug fix in timeout of &splitprove.
Diffstat (limited to 'src/proof/bbr')
0 files changed, 0 insertions, 0 deletions