model _assert_true

diff --git a/util/models.c b/util/models.c
index 48e58f4f1c30f45de9e05067b4108824a4fa698e..0d54a456bfb0a5a8f6bab23b77ff7826764cb157 100644 (file)
--- a/util/models.c
+++ b/util/models.c
@@ -94,3 +94,16 @@ void isc__mempool_put(void *mem, void *ptr FLARG) {
        if (!mem) __coverity_panic__();
        __coverity_free__(ptr);
 }
+
+/*
+ * Cmocka models.
+ */
+
+#define LargestIntegralType unsigned long int
+
+void _assert_true(const LargestIntegralType result,
+                 const char * const expression,
+                 const char * const file, const int line)
+{
+       if (!result) __coverity_panic__();
+}