diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-13 08:01:00 -0700 |
| commit | 2dc38429884b93a04ef917cf75602437b421adf1 (patch) | |
| tree | cb8d36ee9dd244359ce2e0da481af5828fc57925 /src/aig/fra | |
| parent | d8ddea4466d545c7c86d82b24365bc22a6ebd129 (diff) | |
| download | abc-2dc38429884b93a04ef917cf75602437b421adf1.tar.gz abc-2dc38429884b93a04ef917cf75602437b421adf1.tar.bz2 abc-2dc38429884b93a04ef917cf75602437b421adf1.zip | |
Version abc80413
Diffstat (limited to 'src/aig/fra')
| -rw-r--r-- | src/aig/fra/fraSec.c | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/aig/fra/fraSec.c b/src/aig/fra/fraSec.c index 012c7651..99d4bc89 100644 --- a/src/aig/fra/fraSec.c +++ b/src/aig/fra/fraSec.c @@ -44,7 +44,7 @@ int Fra_FraigSec( Aig_Man_t * p, int nFramesMax, int fRetimeFirst, int fFraiging { Fra_Ssw_t Pars, * pPars = &Pars; Fra_Sml_t * pSml; - Aig_Man_t * pNew, * pTemp; + Aig_Man_t * pNew = NULL, * pTemp; int nFrames, RetValue, nIter, clk, clkTotal = clock(); int fLatchCorr = 0; @@ -235,7 +235,8 @@ PRT( "Time", clock() - clkTotal ); Ioa_WriteAiger( pNew, pFileName, 0, 0 ); printf( "The unsolved reduced miter is written into file \"%s\".\n", pFileName ); } - Aig_ManStop( pNew ); + if ( pNew ) + Aig_ManStop( pNew ); return RetValue; } |