diff options
| author | Hoang M. Le <hle@informatik.uni-bremen.de> | 2017-10-11 17:06:12 +0200 |
|---|---|---|
| committer | Andrea Mattavelli <andreamattavelli@users.noreply.github.com> | 2017-10-17 22:22:14 +0100 |
| commit | b32a8cd2886d85d35a24907931e97fe0e6366713 (patch) | |
| tree | e169d0c3a40b8f7a3b0f19782a7a1c4e01b36356 /lib/Module/Passes.h | |
| parent | c9e0af1f12d606120b5f6d60a54f1b79cfc01f7c (diff) | |
| download | klee-b32a8cd2886d85d35a24907931e97fe0e6366713.tar.gz | |
[travis] add a workaround to keep Travis alive when running tests for metaSMT-CVC4 (which needs around 10m for one specific test case)
Diffstat (limited to 'lib/Module/Passes.h')
0 files changed, 0 insertions, 0 deletions