Commit 803a5b76 authored by Mark Andrews's avatar Mark Andrews
Browse files

add model for atf_tc_fail_requirement

parent 4f4b94a0
......@@ -91,3 +91,7 @@ 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