diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:48:21 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:48:21 +0700 |
| commit | 33f71450d978e4b077537d5227d45cc140284887 (patch) | |
| tree | d87b1f283cf2beac276f17f9b0fcb3de87e37004 /src/aig/gia/giaAbs.c | |
| parent | 48f3db0b2dece88c09b169393604b1a8634d32d7 (diff) | |
| download | abc-33f71450d978e4b077537d5227d45cc140284887.tar.gz abc-33f71450d978e4b077537d5227d45cc140284887.tar.bz2 abc-33f71450d978e4b077537d5227d45cc140284887.zip | |
Bug fix in &abs_cba.
Diffstat (limited to 'src/aig/gia/giaAbs.c')
| -rw-r--r-- | src/aig/gia/giaAbs.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbs.c b/src/aig/gia/giaAbs.c index 533ba6a1..fca680a5 100644 --- a/src/aig/gia/giaAbs.c +++ b/src/aig/gia/giaAbs.c @@ -322,9 +322,8 @@ int Gia_ManCbaPerform( Gia_Man_t * pGia, void * p ) // check if flop classes are given if ( pGia->vFlopClasses == NULL ) { - printf( "Gia_ManCbaPerform(): Empty abstraction is started.\n" ); + Abc_Print( 0, "Initial flop map is not given. Trivial abstraction is assumed.\n" ); pGia->vFlopClasses = Vec_IntStart( Gia_ManRegNum(pGia) ); - Vec_IntWriteEntry( pGia->vFlopClasses, 0, 1 ); } // derive abstraction pAbs = Gia_ManDupAbstraction( pGia, pGia->vFlopClasses ); |