diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 10:42:31 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-28 10:42:31 -0700 |
commit | 184c5d4ea467731005c92bc159c68d57c83c6c6a (patch) | |
tree | ec585fa6f993ed00851000069887812a4734d678 /readmeaig | |
parent | e93cfb18ee42e75e6d55c4fd02e5455c4ec16cc8 (diff) | |
download | abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.tar.gz abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.tar.bz2 abc-184c5d4ea467731005c92bc159c68d57c83c6c6a.zip |
Adding timeout to the interpolant computation procedure.
Diffstat (limited to 'readmeaig')
0 files changed, 0 insertions, 0 deletions