From 0b691667550e3de8c115e89d9cc534c543a32419 Mon Sep 17 00:00:00 2001 From: Luis Humberto PENA TREVINO Date: Tue, 23 Apr 2024 11:39:58 +0200 Subject: [PATCH] Fixing SegFault while trying gate-level netlist example --- abc/src/base/io/ioWriteEdgelist.c | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/abc/src/base/io/ioWriteEdgelist.c b/abc/src/base/io/ioWriteEdgelist.c index 392002a..7417aa7 100644 --- a/abc/src/base/io/ioWriteEdgelist.c +++ b/abc/src/base/io/ioWriteEdgelist.c @@ -69,8 +69,8 @@ void Io_WriteEdgelist( Abc_Ntk_t * pNtk, char * FileName, int fWriteLatches, int fprintf( stdout, "Writing Edgelist has failed.\n" ); return; } + pNtk = pNtkTemp; } - pNtk = pNtkTemp; // start writing the file pFile = fopen( FileName, "w" ); if ( pFile == NULL ) @@ -120,9 +120,8 @@ void Io_NtkEdgelistWrite( FILE * pFile, Abc_Ntk_t * pNtk, int fWriteLatches, int fprintf( stdout, "Writing Edgelist has failed.\n" ); return; } + pNtk = pNtkTemp; } - pNtk = pNtkTemp; - // write the model name // fprintf( pFile, ".model %s\n", Abc_NtkName(pNtk) ); // write the network