From f77af1a44d149ab049dce983f5cd33c8d71dcff3 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 30 Aug 2017 13:43:25 +0800 Subject: Corner-case sitution in truth-table computation. --- src/aig/gia/giaTruth.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aig/gia/giaTruth.c b/src/aig/gia/giaTruth.c index ab5f569e..86f17594 100644 --- a/src/aig/gia/giaTruth.c +++ b/src/aig/gia/giaTruth.c @@ -433,6 +433,8 @@ void Gia_ObjCollectInternalCut( Gia_Man_t * p, int iRoot, Vec_Int_t * vLeaves ) assert( Gia_ObjIsAnd(Gia_ManObj(p, iRoot)) ); Vec_IntForEachEntry( vLeaves, iObj, i ) { + if ( Gia_ObjHasNumId(p, iObj) ) // if cuts have repeated variables, skip + continue; assert( !Gia_ObjHasNumId(p, iObj) ); Gia_ObjSetNumId( p, iObj, -i ); } -- cgit v1.2.3