/*
 * @file kill_for_coverity.c
 *
 * See http://rusefi.com/forum/viewtopic.php?f=5&t=655&p=10491#p10491
 *
 * @date Feb 25, 2015
 */

void special_abort(const char msg) {
   __coverity_panic__();
}