Commit 6f98d4d1 authored by Ondřej Surý's avatar Ondřej Surý Committed by Evan Hunt
Browse files

Remove the atf_tc coverity model

(cherry picked from commit ed4a4912)
parent 713d158e
......@@ -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__();
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment