From 8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 29 Jun 2015 12:52:16 -0700 Subject: Fixing assertion failure in Abc_NtkBddToSop. --- src/base/abc/abcFunc.c | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index b0862074..919cfbc3 100644 --- a/src/base/abc/abcFunc.c +++ b/src/base/abc/abcFunc.c @@ -408,6 +408,10 @@ int Abc_NtkBddToSop( Abc_Ntk_t * pNtk, int fMode, int nCubeLimit ) Vec_StrFree( vCube ); return 0; } + // it may happen that a constant node was created after structural mapping + if ( Abc_SopGetVarNum((char *)pNode->pNext) == 0 ) + pNode->vFanins.nSize = 0; + // check the support if ( Abc_ObjFaninNum(pNode) != Abc_SopGetVarNum((char *)pNode->pNext) ) { printf( "Node %d with level %d has %d fanins but its SOP has support size %d.\n", -- cgit v1.2.3