diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-30 13:43:25 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-08-30 13:43:25 +0800 |
| commit | f77af1a44d149ab049dce983f5cd33c8d71dcff3 (patch) | |
| tree | 35ba5142c9e991833a8f7bb7c7a538d6c78527e9 | |
| parent | a321d4cb4d704f58038bff19fb88df9163957b8f (diff) | |
| download | abc-f77af1a44d149ab049dce983f5cd33c8d71dcff3.tar.gz abc-f77af1a44d149ab049dce983f5cd33c8d71dcff3.tar.bz2 abc-f77af1a44d149ab049dce983f5cd33c8d71dcff3.zip | |
Corner-case sitution in truth-table computation.
| -rw-r--r-- | src/aig/gia/giaTruth.c | 2 |
1 files changed, 2 insertions, 0 deletions
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 ); } |