From 3916f00c68611a8c85b856bc4af7f43bb5f0e628 Mon Sep 17 00:00:00 2001 From: Andrea Mattavelli Date: Fri, 6 Oct 2017 08:52:46 +0100 Subject: [Travis-CI] Added codecov.io support --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') 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 ============================= [![Build Status](https://travis-ci.org/klee/klee.svg?branch=master)](https://travis-ci.org/klee/klee) +[![Coverage](https://codecov.io/gh/klee/klee/branch/master/graph/badge.svg)](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: -- cgit 1.4.1