luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-03 01:43:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Bug fix: abstraction commands not properly updating status when dumping intermediate abstraction.

Browse Source
This commit is contained in:
Alan Mishchenko
2012-08-28 12:12:24 -07:00
parent 8a1d439cb1
commit 329831bdac
6 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/base/abci/abcLog.c
+1 -1
View File
@@ -90,7 +90,7 @@ void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pCex, int Status, int nF
fprintf( pFile, " " );
// write <engine_name>
fprintf( pFile, "%s", pCommand ? pCommand : "unknown" );
if ( Status == 0 )
if ( pCex && Status == 0 )
fprintf( pFile, " %d", pCex->iPo );
// write <cyc>
if ( pCex && pCex->iFrame != nFrames )
src/base/main/main.h
+1 -2
View File
@@ -129,8 +129,7 @@ extern ABC_DLL void Abc_FrameSetLibVer( void * pLib );
extern ABC_DLL void Abc_FrameSetFlag( char * pFlag, char * pValue );
extern ABC_DLL void Abc_FrameSetCex( Abc_Cex_t * pCex );
extern ABC_DLL void Abc_FrameSetNFrames( int nFrames );
extern ABC_DLL void Abc_FrameSetStatus( int Status );
ABC_NAMESPACE_HEADER_END
src/base/main/mainFrame.c
+1
View File
@@ -78,6 +78,7 @@ void Abc_FrameSetLibVer( void * pLib ) { s_GlobalFrame->pL
void Abc_FrameSetFlag( char * pFlag, char * pValue ) { Cmd_FlagUpdateValue( s_GlobalFrame, pFlag, pValue ); }
void Abc_FrameSetCex( Abc_Cex_t * pCex ) { ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->pCex = pCex; }
void Abc_FrameSetNFrames( int nFrames ) { ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->nFrames = nFrames; }
void Abc_FrameSetStatus( int Status ) { ABC_FREE( s_GlobalFrame->pCex ); s_GlobalFrame->Status = Status; }
int Abc_FrameIsBatchMode() { return s_GlobalFrame ? s_GlobalFrame->fBatchMode : 0; }