root/contrib/coverity/coverity-model.c

DEFINITIONS

1. opal_btl_usnic_util_abort

   1 void opal_btl_usnic_util_abort(const char *msg, const char *file, int line) {
   2     __coverity_panic__();
   3 }