diff options
| author | Jiri Slaby <jirislaby@gmail.com> | 2017-02-23 15:27:56 +0100 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-05-24 14:24:47 +0100 |
| commit | a3e82239a74cdc43c44bd5200434cb48c7dd1edb (patch) | |
| tree | 3671402b64f8276a2acfe1622f9a6fd99f4194c2 /lib | |
| parent | d3a467d8999e6e52892b13c2bc93ac829ee1b7c9 (diff) | |
| download | klee-a3e82239a74cdc43c44bd5200434cb48c7dd1edb.tar.gz | |
travis CI: add LLVM 3.5 and 3.6 tests
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'lib')
0 files changed, 0 insertions, 0 deletions