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

* src/kernel.c (bdd_default_gbchandler): Log garbage collection to

Browse source 
stderr, not stdout.  Reported by Kristin Yvonne Rozier
<kyrozier@cs.rice.edu>.
This commit is contained in:
Alexandre Duret-Lutz 2007-09-19 18:58:20 +00:00
parent 44e4beca2e
commit 894c864fd5
2 changed files with 9 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

6
buddy/src/kernel.c
View file

@ -28,7 +28,7 @@
========================================================================*/
/*************************************************************************
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.5 2003/05/22 15:07:27 aduret Exp $
$Header: /Volumes/CVS/repository/spot/spot/buddy/src/kernel.c,v 1.6 2007/09/19 18:58:20 adl Exp $
FILE: kernel.c
DESCR: implements the bdd kernel functions.
AUTH: Jorn Lind
@ -991,9 +991,9 @@ void bdd_default_gbchandler(int pre, bddGbcStat *s)
{
if (!pre)
{
printf("Garbage collection #%d: %d nodes / %d free",
fprintf(stderr, "Garbage collection #%d: %d nodes / %d free",
s->num, s->nodes, s->freenodes);
printf(" / %.1fs / %.1fs total\n",
fprintf(stderr, " / %.1fs / %.1fs total\n",
(float)s->time/(float)(CLOCKS_PER_SEC),
(float)s->sumtime/(float)CLOCKS_PER_SEC);
}