diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-04 13:45:16 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-12-04 13:45:16 -0800 |
| commit | 451f2b0cd76e8608dfcbed42946446422bfc2031 (patch) | |
| tree | 45fa12a16aa2d3886539bd4d73aae7f221fcb2d4 /src | |
| parent | d5276971ebdb7617447a6b057d6e5843b3aab3fb (diff) | |
| download | abc-451f2b0cd76e8608dfcbed42946446422bfc2031.tar.gz abc-451f2b0cd76e8608dfcbed42946446422bfc2031.tar.bz2 abc-451f2b0cd76e8608dfcbed42946446422bfc2031.zip | |
Assert in &verify only holds when boxes are not removed.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaTim.c | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/aig/gia/giaTim.c b/src/aig/gia/giaTim.c index 3f65d65f..9b3b28d7 100644 --- a/src/aig/gia/giaTim.c +++ b/src/aig/gia/giaTim.c @@ -855,8 +855,17 @@ Gia_Man_t * Gia_ManDupCollapse( Gia_Man_t * p, Gia_Man_t * pBoxes, Vec_Int_t * v pNew = Gia_ManCleanup( pTemp = pNew ); Gia_ManCleanupRemap( p, pTemp ); Gia_ManStop( pTemp ); - assert( Tim_ManPoNum(pManTime) == Gia_ManCoNum(pNew) - nBBouts ); - assert( Tim_ManPiNum(pManTime) == Gia_ManCiNum(pNew) - nBBins ); +/* + printf( "%d = %d - %d Diff = %d\n", + Tim_ManPoNum(pManTime), Gia_ManCoNum(pNew), nBBouts, + Tim_ManPoNum(pManTime) - (Gia_ManCoNum(pNew) - nBBouts) ); + + printf( "%d = %d - %d Diff = %d\n\n", + Tim_ManPiNum(pManTime), Gia_ManCiNum(pNew), nBBins, + Tim_ManPiNum(pManTime) - (Gia_ManCiNum(pNew) - nBBins) ); +*/ + assert( vBoxPres != NULL || Tim_ManPoNum(pManTime) == Gia_ManCoNum(pNew) - nBBouts ); + assert( vBoxPres != NULL || Tim_ManPiNum(pManTime) == Gia_ManCiNum(pNew) - nBBins ); // implement initial state if given if ( fSeq && p->vRegInits && Vec_IntSum(p->vRegInits) ) { |