From 5a10c8ad01b62a6760e4cf8720800acb1fab8554 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 16 Nov 2014 23:27:21 -0800 Subject: Integrating mfs2 package to work with boxes. --- src/opt/sfm/sfmNtk.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/opt/sfm/sfmNtk.c') diff --git a/src/opt/sfm/sfmNtk.c b/src/opt/sfm/sfmNtk.c index fd04e432..1ded0ede 100644 --- a/src/opt/sfm/sfmNtk.c +++ b/src/opt/sfm/sfmNtk.c @@ -54,7 +54,8 @@ void Sfm_CheckConsistency( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * assert( Vec_IntSize(vArray) == 0 && Vec_StrEntry(vFixed, i) == (char)0 ); // nodes are in a topo order; POs cannot be fanins Vec_IntForEachEntry( vArray, Fanin, k ) - assert( Fanin < i && Fanin + nPos < Vec_WecSize(vFanins) ); +// assert( Fanin < i && Fanin + nPos < Vec_WecSize(vFanins) ); + assert( Fanin + nPos < Vec_WecSize(vFanins) ); // POs have one fanout if ( i + nPos >= Vec_WecSize(vFanins) ) assert( Vec_IntSize(vArray) == 1 && Vec_StrEntry(vFixed, i) == (char)0 ); -- cgit v1.2.3