From 210474b08c3e018606f49eef2ae31434937ef78c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 18 Mar 2024 07:49:35 +0900 Subject: [PATCH] Bug fix in &gen_hie. --- src/aig/gia/giaMan.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aig/gia/giaMan.c b/src/aig/gia/giaMan.c index 288c065363..f2d403ded6 100644 --- a/src/aig/gia/giaMan.c +++ b/src/aig/gia/giaMan.c @@ -2282,6 +2282,8 @@ void Gia_GenSandwich( char ** pFNames, int nFNames, char * pFileName ) fprintf( pFile, "endmodule\n" ); fclose( pFile ); for ( i = 0; i < nFNames; i++ ) { + Vec_PtrFreeFree( pGias[i]->vNamesIn ); pGias[i]->vNamesIn = NULL; + Vec_PtrFreeFree( pGias[i]->vNamesOut ); pGias[i]->vNamesOut = NULL; Gia_ManDumpVerilog( pGias[i], Extra_FileNameGenericAppend(pGias[i]->pSpec, ".v"), NULL, 0, 0, 1, 0, 0 ); printf( "Dumped Verilog file \"%s\"\n", Extra_FileNameGenericAppend(pGias[i]->pSpec, ".v") ); }