diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-06-17 12:35:16 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2015-06-17 12:35:16 +0100 |
| commit | 637e884bb0ad4ead31d61583f47db475f5ec1ab7 (patch) | |
| tree | 91888800aed8d062d8eb90ff6bc589329f2f7ae7 /lib/Core/ExecutorUtil.cpp | |
| parent | 998a0c10526c6549c655a227b122a6def9d65398 (diff) | |
| parent | 7844d5f9b9057197b7392efca46ed79c82e66dc5 (diff) | |
| download | klee-637e884bb0ad4ead31d61583f47db475f5ec1ab7.tar.gz | |
Merge pull request #245 from kren1/master
Added coverage of the KLEE codebase to Travis CI
Diffstat (limited to 'lib/Core/ExecutorUtil.cpp')
0 files changed, 0 insertions, 0 deletions