Esempio n. 1
0
void bdd_default_errhandler(int e)
{
   fprintf(stderr, "BDD error: %s\n", bdd_errstring(e));
   exit(1);
}
Esempio n. 2
0
File: muddy.c Progetto: Armael/HOL
void mlbdd_errorhandler(int errorcode) 
{
  /* printf("mlbdd error: %d\n",errorcode); */
  failwith((char *) bdd_errstring(errorcode));
} 
Esempio n. 3
0
File: jbuddy.c Progetto: Sable/jedd
static void errorhandler(int errorCode) {
    bdd_errno = bdd_errstring(errorCode);
    bdd_clear_error();
}