From 451f2b0cd76e8608dfcbed42946446422bfc2031 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 4 Dec 2019 13:45:16 -0800 Subject: Assert in &verify only holds when boxes are not removed. --- src/aig/gia/giaTim.c | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'src/aig') 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) ) { -- cgit v1.2.3