diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-01 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-01 08:01:00 -0700 |
| commit | 73c8aa7c400bab320cea56529241e1d396f1e0f5 (patch) | |
| tree | b8c066a742ad6b359650d60003de27093b7450f7 /src/aig/dch/dchSweep.c | |
| parent | 84355d5cb2c3b1c5b618ae59c8c7249d47d3410c (diff) | |
| download | abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.tar.gz abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.tar.bz2 abc-73c8aa7c400bab320cea56529241e1d396f1e0f5.zip | |
Version abc80901
Diffstat (limited to 'src/aig/dch/dchSweep.c')
| -rw-r--r-- | src/aig/dch/dchSweep.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/dch/dchSweep.c b/src/aig/dch/dchSweep.c index 019f6707..36c5fc33 100644 --- a/src/aig/dch/dchSweep.c +++ b/src/aig/dch/dchSweep.c @@ -86,6 +86,7 @@ void Dch_ManSweepNode( Dch_Man_t * p, Aig_Obj_t * pObj ) Dch_ManResimulateCex( p, pObj, pObjRepr ); else Dch_ManResimulateCex2( p, pObj, pObjRepr ); + assert( Aig_ObjRepr( p->pAigTotal, pObj ) != pObjRepr ); } /**Function************************************************************* |