From e9aaebb43b5789692377e7b367813e8b3b728484 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 4 Sep 2020 18:26:12 +0100 Subject: Add Cirrus CI status --- README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'README.md') diff --git a/README.md b/README.md index 306e95fe..d1b18c57 100644 --- a/README.md +++ b/README.md @@ -2,6 +2,7 @@ KLEE Symbolic Virtual Machine ============================= [![Build Status](https://travis-ci.com/klee/klee.svg?branch=master)](https://travis-ci.com/klee/klee) +[![Build Status](https://api.cirrus-ci.com/github/klee/klee.svg)](https://cirrus-ci.com/github/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 -- cgit 1.4.1