diff options
Diffstat (limited to 'src/base/abci/abcLog.c')
-rw-r--r-- | src/base/abci/abcLog.c | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/src/base/abci/abcLog.c b/src/base/abci/abcLog.c index e0ad3cc..31cf5a9 100644 --- a/src/base/abci/abcLog.c +++ b/src/base/abci/abcLog.c @@ -227,7 +227,16 @@ int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex, int * pnFrames ) ABC_FREE( pCex ); } else - Vec_IntFree( vNums ); + { + // corner case of seq circuit with no PIs + int iFrameCex = (nFrames2 == -1) ? nFrames : nFrames2; + pCex = Abc_CexAlloc( 0, 0, iFrameCex + 1 ); + pCex->iFrame = iFrameCex; + pCex->iPo = iPo; + if ( ppCex ) + *ppCex = pCex; + Vec_IntFree( vNums ); + } if ( pnFrames ) *pnFrames = nFrames; return Status; |