diff options
author | Hoang <hle@cs.uni-bremen.de> | 2016-06-08 22:29:38 +0200 |
---|---|---|
committer | Hoang M. Le <hle@informatik.uni-bremen.de> | 2016-06-10 11:32:36 +0200 |
commit | 9ef3c841b6d22e972ba8635a2eb2d3919bce9192 (patch) | |
tree | cf164d9baf55389412d9b87047a6accf169c124e /lib/Basic | |
parent | e70147e2c7f6716c4c0313d8e5b4aeba1d3042ed (diff) | |
download | klee-9ef3c841b6d22e972ba8635a2eb2d3919bce9192.tar.gz |
Use travis_wait to allow long running tests
Diffstat (limited to 'lib/Basic')
0 files changed, 0 insertions, 0 deletions