From bf3b63b4353cc73ddb77a5bd8a842add8573a95b Mon Sep 17 00:00:00 2001 From: Dan Liew Date: Fri, 3 Apr 2015 18:46:59 +0100 Subject: Add TravisCI build status icon to README.md --- README.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/README.md b/README.md index ac4c12b1..239d9564 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,7 @@ # Boogie +[![Build Status](https://travis-ci.org/boogie-org/boogie.svg)](https://travis-ci.org/boogie-org/boogie) + Boogie is an intermediate verification language (IVL), intended as a layer on which to build program verifiers for other languages. Several program verifiers have been built in this way, including the VCC and HAVOC verifiers for C and the -- cgit v1.2.3