/third_party/cmocka/coverity/

• ../
• README
• coverity_assert_model.c
• coverity_internal_model.c