diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-04 00:07:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-02-04 00:07:21 -0800 |
| commit | 82e9de90005ee38fdc9fa4c52d335d4e87c93196 (patch) | |
| tree | 9fe14bf0dae877d771089e17a45aec7ef7ae0156 /src/base/abc | |
| parent | e5fb4fe55000fe5256420975ddbe5de79095f3be (diff) | |
| download | abc-82e9de90005ee38fdc9fa4c52d335d4e87c93196.tar.gz abc-82e9de90005ee38fdc9fa4c52d335d4e87c93196.tar.bz2 abc-82e9de90005ee38fdc9fa4c52d335d4e87c93196.zip | |
Eneabled writing/reading pAbc->nFrames into/from status files.
Diffstat (limited to 'src/base/abc')
| -rw-r--r-- | src/base/abc/abc.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abc/abc.h b/src/base/abc/abc.h index 6dcb3881..3357ff46 100644 --- a/src/base/abc/abc.h +++ b/src/base/abc/abc.h @@ -646,7 +646,7 @@ extern ABC_DLL Abc_Ntk_t * Abc_LibFindModelByName( Abc_Lib_t * pLib, char extern ABC_DLL int Abc_LibFindTopLevelModels( Abc_Lib_t * pLib ); extern ABC_DLL Abc_Ntk_t * Abc_LibDeriveRoot( Abc_Lib_t * pLib ); /*=== abcLog.c ==========================================================*/ -extern ABC_DLL void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pSeqCex, int Status, char * pCommand ); +extern ABC_DLL void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pSeqCex, int Status, int nFrames, char * pCommand ); /*=== abcMiter.c ==========================================================*/ extern ABC_DLL int Abc_NtkMinimumBase( Abc_Ntk_t * pNtk ); extern ABC_DLL int Abc_NodeMinimumBase( Abc_Obj_t * pNode ); |