remove coverity links

This commit is contained in:
Valient Gough 2017-08-07 22:05:59 -04:00
parent b45006d791
commit 206f0d9271
No known key found for this signature in database
GPG Key ID: 33C65E29813C14DF
2 changed files with 0 additions and 13 deletions

View File

@ -3,7 +3,6 @@
_Build Status_
- Circle: [![Circle CI](https://circleci.com/gh/vgough/encfs.svg?style=svg)](https://circleci.com/gh/vgough/encfs)
- Travis: [![Travis CI](https://travis-ci.org/vgough/encfs.svg?branch=master)](https://travis-ci.org/vgough/encfs)
- Analysis: [![Coverity](https://scan.coverity.com/projects/10117/badge.svg)](https://scan.coverity.com/projects/vgough-encfs)
## About

View File

@ -1,12 +0,0 @@
void CHECK(bool cond) {
if (!cond) {
__coverity_panic__();
}
}
void CHECK_EQ(int l, int r) {
if (l != r) {
__coverity_panic__();
}
}