diff options
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaIf.c | 1 | ||||
| -rw-r--r-- | src/aig/gia/giaScript.c | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 6b6d9e04..2c206292 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -1987,6 +1987,7 @@ Gia_Man_t * Gia_ManFromIfLogic( If_Man_t * pIfMan ) pFile = fopen( Buffer, "wb" ); if ( pFile == NULL ) { + Vec_StrFree( vConfigsStr ); printf( "Cannot open file \"%s\".\n", Buffer ); return pNew; } diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c index 751f5000..f32b1658 100644 --- a/src/aig/gia/giaScript.c +++ b/src/aig/gia/giaScript.c @@ -91,6 +91,7 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * pInit, int fOldAlgo, int fCoarsen, int f { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } // delay optimization @@ -164,6 +165,7 @@ Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } // perform balancing @@ -200,6 +202,7 @@ Gia_Man_t * Gia_ManAigSyn4( Gia_Man_t * p, int fVerbose, int fVeryVerbose ) { pNew = Gia_ManDup(p); Gia_ManTransferTiming( pNew, p ); + Gia_ManStop( p ); return pNew; } //Gia_ManAigPrintPiLevels( p ); |