libfort/tests/cmocka-1.1.0/coverity/coverity_internal_model.c

/* Functions to help coverity do static analysis on cmocka */
void exit_test(const int quit_application)
{
      __coverity_panic__();
}