C++ (Cpp) bdd_errstring示例

示例#1

文件： kernel.c 项目： RCambier/EmbeddedAndVerification

void bdd_default_errhandler(int e)
{
   fprintf(stderr, "BDD error: %s\n", bdd_errstring(e));
   exit(1);
}

示例#2

文件： muddy.c 项目： Armael/HOL

void mlbdd_errorhandler(int errorcode) 
{
  /* printf("mlbdd error: %d\n",errorcode); */
  failwith((char *) bdd_errstring(errorcode));
} 

示例#3

文件： jbuddy.c 项目： Sable/jedd

static void errorhandler(int errorCode) {
    bdd_errno = bdd_errstring(errorCode);
    bdd_clear_error();
}