Corner case bug in 'satclp'.

b3f16496 · Alan Mishchenko · 3da74685 · b3f16496
Commit b3f16496 authored Oct 21, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 3 additions and 2 deletions

src/base/abci/abcCollapse.c
+3 -2

No files found.
--- a/src/base/abci/abcCollapse.c
+++ b/src/base/abci/abcCollapse.c
@@ -404,8 +404,9 @@ Abc_Obj_t * Abc_NtkFromSopsOne( Abc_Ntk_t * pNtkNew, Abc_Ntk_t * pNtk, int iCo, 
    // create a new node
    pNodeNew = Abc_NtkCreateNode( pNtkNew );
    // add fanins
-    Vec_IntForEachEntry( vSupp, iCi, i )
-        Abc_ObjAddFanin( pNodeNew, Abc_NtkCi(pNtkNew, iCi) );
+    if ( Vec_StrSize(vSop) > 4 ) // non-constant SOP
+        Vec_IntForEachEntry( vSupp, iCi, i )
+            Abc_ObjAddFanin( pNodeNew, Abc_NtkCi(pNtkNew, iCi) );
    // transfer the function
    pNodeNew->pData = Abc_SopRegister( (Mem_Flex_t *)pNtkNew->pManFunc, Vec_StrArray(vSop) );
    Vec_StrFree( vSop );