diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-29 12:52:16 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-29 12:52:16 -0700 |
| commit | 8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487 (patch) | |
| tree | 126b5c73a7f68aa2e58d1e13234aa34fb9d184b4 | |
| parent | 819c0ccab26eeb10451ebcb6bc6922e70d8191ac (diff) | |
| download | abc-8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487.tar.gz abc-8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487.tar.bz2 abc-8c1e81a7c8c7bfa8db93ec410b90c67a6d5df487.zip | |
Fixing assertion failure in Abc_NtkBddToSop.
| -rw-r--r-- | src/base/abc/abcFunc.c | 4 |
1 files changed, 4 insertions, 0 deletions
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", |