From 206f0d92713aac2182bbced127fd789bff88494c Mon Sep 17 00:00:00 2001
From: Valient Gough <valient@gmail.com>
Date: Mon, 7 Aug 2017 22:05:59 -0400
Subject: [PATCH] remove coverity links

---
 README.md       |  1 -
 model/logging.c | 12 ------------
 2 files changed, 13 deletions(-)
 delete mode 100644 model/logging.c

diff --git a/README.md b/README.md
index ef50797..cf19cce 100644
--- a/README.md
+++ b/README.md
@@ -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
 
diff --git a/model/logging.c b/model/logging.c
deleted file mode 100644
index f7724c6..0000000
--- a/model/logging.c
+++ /dev/null
@@ -1,12 +0,0 @@
-
-void CHECK(bool cond) {
-  if (!cond) {
-    __coverity_panic__();
-  }
-}
-
-void CHECK_EQ(int l, int r) {
-  if (l != r) {
-    __coverity_panic__();
-  }
-}