alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* src/kernel.c (bdd_default_errhandler): Call abort(), not exit(1).

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-05-12 09:30:18 +00:00
parent 7fdc763c1f
commit a49c69555e
2 changed files with 6 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
buddy/ChangeLog
View file

@ -1,3 +1,7 @@
2003-05-12 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/kernel.c (bdd_default_errhandler): Call abort(), not exit(1).
2003-05-07 Alexandre Duret-Lutz <aduret@src.lip6.fr> 2003-05-07 Alexandre Duret-Lutz <aduret@src.lip6.fr>
* src/bddop.c (bdd_allsat): Fix description. * src/bddop.c (bdd_allsat): Fix description.

4
buddy/src/kernel.c
View file

@ -28,7 +28,7 @@
========================================================================*/ ========================================================================*/
/************************************************************************* /*************************************************************************
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.2 2003/05/05 13:45:07 aduret Exp $ $Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.3 2003/05/12 09:30:19 aduret Exp $
FILE: kernel.c FILE: kernel.c
DESCR: implements the bdd kernel functions. DESCR: implements the bdd kernel functions.
AUTH: Jorn Lind AUTH: Jorn Lind
@ -803,7 +803,7 @@ const char *bdd_errstring(int e)
void bdd_default_errhandler(int e) void bdd_default_errhandler(int e)
{ {
fprintf(stderr, "BDD error: %s\n", bdd_errstring(e)); fprintf(stderr, "BDD error: %s\n", bdd_errstring(e));
exit(1); abort();
} }