diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-14 13:41:52 +0100 |
|---|---|---|
| committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2014-09-14 13:41:52 +0100 |
| commit | 92c937be2a859c480242a347a7cecfbfd52e16bb (patch) | |
| tree | fbfa6d657218c573d3b8ae81106739ae7bc19ba0 /README.md | |
| parent | 7c79c1c5299108e58852905182abcc7d3ba6fa40 (diff) | |
| download | klee-92c937be2a859c480242a347a7cecfbfd52e16bb.tar.gz | |
Add Travis build status icon/link
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/README.md b/README.md index fd724614..725b9b66 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ Klee Symbolic Virtual Machine ============================= +[](https://travis-ci.org/klee/klee) + `klee` is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: |