From e658da711cedb8e78e0a29e60a042dbfc7231523 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 14 Dec 2014 20:45:24 -0800 Subject: [PATCH] Commenting out assertions in the mapper, which do not work for barrier buffers. --- src/aig/gia/giaNf.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index f2459df1c..45fe6afa8 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;