From 00b674d5b3ccefc7f2abcbf5b650fc14298ac549 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Tue, 22 Mar 2022 18:45:10 +0100
Subject: fix buffer error

---
 src/base/io/io.c | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/src/base/io/io.c b/src/base/io/io.c
index 8d07702d..3874a6cf 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -698,13 +698,16 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex,
     int usedX = 0;
     *fOldFormat = 0;
     
-    char Buffer[1000];
+    int MaxLine = 1000000;
+    char *Buffer;
     int state = 0;
     int iPo = 0;
     nFrames = -1;
     int status = 0;
     int i;
-    while ( fgets( Buffer, 1000, pFile ) != NULL )
+
+    Buffer = ABC_ALLOC( char, MaxLine );
+    while ( fgets( Buffer, MaxLine, pFile ) != NULL )
     {
         if ( Buffer[0] == '#' )
             continue;
-- 
cgit v1.2.3