replica
/
diffblue-cbmc
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Adding build icon for AppVeyor

This commit is contained in:
thk123 2017-04-06 17:16:56 +01:00
parent 45ce4d0180
commit 31ea4c3c9b
1 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
README.md
View File

@ -1,4 +1,4 @@
[![Build Status][build_img]][travis]
[![Build Status][travis_img]][travis] [![Build Status][appveyor_img]][appveyor]
[CProver Wiki](http://www.cprover.org/wiki)
@ -19,5 +19,7 @@ License
=======
4-clause BSD license, see `LICENSE` file.
[build_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master
[travis]: https://travis-ci.org/diffblue/cbmc
[travis_img]: https://travis-ci.org/diffblue/cbmc.svg?branch=master
[appveyor]: https://ci.appveyor.com/project/diffblue/cbmc/
[appveyor_img]: https://ci.appveyor.com/api/projects/status/github/diffblue/cbmc?svg=true&branch=master