diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-08 20:07:52 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-03-08 20:07:52 -0800 |
| commit | 35f90a777dd92e7647689b93db09ca068cca87a2 (patch) | |
| tree | 1ebaebd7891228e74da47f73ff040c04ea5a2cd0 /src/bdd/reo/reoCore.c | |
| parent | 24f0da1475c715a1daa57fd20159c438728a8fc2 (diff) | |
| download | abc-35f90a777dd92e7647689b93db09ca068cca87a2.tar.gz abc-35f90a777dd92e7647689b93db09ca068cca87a2.tar.bz2 abc-35f90a777dd92e7647689b93db09ca068cca87a2.zip | |
Mffc-based structural decomposition of the network and bug fixes in reordering package.
Diffstat (limited to 'src/bdd/reo/reoCore.c')
| -rw-r--r-- | src/bdd/reo/reoCore.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/bdd/reo/reoCore.c b/src/bdd/reo/reoCore.c index d0535ff9..78a8b211 100644 --- a/src/bdd/reo/reoCore.c +++ b/src/bdd/reo/reoCore.c @@ -122,7 +122,7 @@ void reoReorderArray( reo_man * p, DdManager * dd, DdNode * Funcs[], DdNode * Fu if ( p->fVerbose ) { - printf( "INITIAL: " ); + printf( "INITIAL:\n" ); if ( p->fMinWidth ) reoProfileWidthPrint(p); else if ( p->fMinApl ) @@ -141,7 +141,7 @@ void reoReorderArray( reo_man * p, DdManager * dd, DdNode * Funcs[], DdNode * Fu // print statistics after each iteration if ( p->fVerbose ) { - printf( "ITER #%d: ", i+1 ); + printf( "ITER #%d:\n", i+1 ); if ( p->fMinWidth ) reoProfileWidthPrint(p); else if ( p->fMinApl ) |