Remove the atf_tc coverity model

util/models.c

@@ -94,7 +94,3 @@ void isc__mempool_put(void *mem, void *ptr FLARG) {
 	if (!mem) __coverity_panic__();
 	__coverity_free__(ptr);
 }
-
-void atf_tc_fail_requirement(const char *, const size_t, const char *, ...) {
-	__coverity_panic__();
-}