diff options
| author | Andrea Mattavelli <andreamattavelli@gmail.com> | 2017-10-06 08:52:46 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2018-01-16 16:18:39 +0100 |
| commit | 3916f00c68611a8c85b856bc4af7f43bb5f0e628 (patch) | |
| tree | 03afb6a9951ccfe3713637aa72c33741e225e551 /README.md | |
| parent | 37f554d5cf587ec9f6befa359a0e3aa60e9ce73f (diff) | |
| download | klee-3916f00c68611a8c85b856bc4af7f43bb5f0e628.tar.gz | |
[Travis-CI] Added codecov.io support
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/README.md b/README.md index e894ebc1..5feab3ee 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ KLEE Symbolic Virtual Machine ============================= [](https://travis-ci.org/klee/klee) +[](https://codecov.io/gh/klee/klee) `KLEE` is a symbolic virtual machine built on top of the LLVM compiler infrastructure. Currently, there are two primary components: |