From 84073f7d9039a5c573225a74efe636db3f43e000 Mon Sep 17 00:00:00 2001
From: Valient Gough <vgough@pobox.com>
Date: Thu, 8 Sep 2016 13:12:43 +0200
Subject: [PATCH] add coverity model for CHECK operation

---
 model/logging.c | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 model/logging.c

diff --git a/model/logging.c b/model/logging.c
new file mode 100644
index 0000000..f7724c6
--- /dev/null
+++ b/model/logging.c
@@ -0,0 +1,12 @@
+
+void CHECK(bool cond) {
+  if (!cond) {
+    __coverity_panic__();
+  }
+}
+
+void CHECK_EQ(int l, int r) {
+  if (l != r) {
+    __coverity_panic__();
+  }
+}