diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-14 20:45:24 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-14 20:45:24 -0800 |
| commit | e658da711cedb8e78e0a29e60a042dbfc7231523 (patch) | |
| tree | fcc2264a29f744fc10dd20628a609c278cfe1226 /src | |
| parent | 4ca862f8d27ddad81a92b557bea6c934913792e7 (diff) | |
| download | abc-e658da711cedb8e78e0a29e60a042dbfc7231523.tar.gz abc-e658da711cedb8e78e0a29e60a042dbfc7231523.tar.bz2 abc-e658da711cedb8e78e0a29e60a042dbfc7231523.zip | |
Commenting out assertions in the mapper, which do not work for barrier buffers.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaNf.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index f2459df1..45fe6afa 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -2003,7 +2003,7 @@ int Nf_ManSetMapRefs( Nf_Man_t * p ) for ( c = 0; c < 2; c++ ) { Requireds[c] = Nf_ObjRequired( p, i, c ); - assert( Requireds[c] < NF_INFINITY ); + //assert( Requireds[c] < NF_INFINITY ); pDs[c] = Nf_ObjMatchD( p, i, c ); pAs[c] = Nf_ObjMatchA( p, i, c ); pMs[c] = (pAs[c]->D < Requireds[c] + Epsilon) ? pAs[c] : pDs[c]; @@ -2040,7 +2040,7 @@ int Nf_ManSetMapRefs( Nf_Man_t * p ) // select oppositve phase Required = Nf_ObjRequired( p, i, !c ); - assert( Required < NF_INFINITY ); + //assert( Required < NF_INFINITY ); pD = Nf_ObjMatchD( p, i, !c ); pA = Nf_ObjMatchA( p, i, !c ); pM = (pA->D < Required + Epsilon) ? pA : pD; @@ -2062,7 +2062,7 @@ int Nf_ManSetMapRefs( Nf_Man_t * p ) assert( nRefs[c] && !nRefs[!c] ); // consider this phase Required = Nf_ObjRequired( p, i, c ); - assert( Required < NF_INFINITY ); + //assert( Required < NF_INFINITY ); pD = Nf_ObjMatchD( p, i, c ); pA = Nf_ObjMatchA( p, i, c ); pM = (pA->D < Required + Epsilon) ? pA : pD; @@ -2077,7 +2077,7 @@ int Nf_ManSetMapRefs( Nf_Man_t * p ) Nf_ObjUpdateRequired( p, i, !c, Required - p->InvDelay ); // select oppositve phase Required = Nf_ObjRequired( p, i, !c ); - assert( Required < NF_INFINITY ); + //assert( Required < NF_INFINITY ); pD = Nf_ObjMatchD( p, i, !c ); pA = Nf_ObjMatchA( p, i, !c ); pM = (pA->D < Required + Epsilon) ? pA : pD; |