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/io/io.c | |
| 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/io/io.c')
| -rw-r--r-- | src/base/io/io.c | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index eab865d8..46cbb33a 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -1210,7 +1210,7 @@ int IoCommandReadStatus( Abc_Frame_t * pAbc, int argc, char ** argv ) char * pFileName; FILE * pFile; int c; - extern int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex ); + extern int Abc_NtkReadLogFile( char * pFileName, Abc_Cex_t ** ppCex, int * pnFrames ); Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF ) @@ -1239,9 +1239,7 @@ int IoCommandReadStatus( Abc_Frame_t * pAbc, int argc, char ** argv ) // set the new network Abc_FrameClearVerifStatus( pAbc ); - pAbc->Status = Abc_NtkReadLogFile( pFileName, &pAbc->pCex ); - if ( pAbc->pCex ) - pAbc->nFrames = pAbc->pCex->iFrame; + pAbc->Status = Abc_NtkReadLogFile( pFileName, &pAbc->pCex, &pAbc->nFrames ); return 0; usage: @@ -2534,7 +2532,7 @@ int IoCommandWriteStatus( Abc_Frame_t * pAbc, int argc, char **argv ) { char * pFileName; int c; - extern void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pCex, int Status, char * pCommand ); + extern void Abc_NtkWriteLogFile( char * pFileName, Abc_Cex_t * pCex, int Status, int nFrames, char * pCommand ); Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "h" ) ) != EOF ) @@ -2551,7 +2549,7 @@ int IoCommandWriteStatus( Abc_Frame_t * pAbc, int argc, char **argv ) goto usage; // get the input file name pFileName = argv[globalUtilOptind]; - Abc_NtkWriteLogFile( pFileName, pAbc->pCex, pAbc->Status, NULL ); + Abc_NtkWriteLogFile( pFileName, pAbc->pCex, pAbc->Status, pAbc->nFrames, NULL ); return 0; usage: |