From 148f0e9cac6ac5e1942a15ee2c64b5672823fa02 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 23 Nov 2025 10:55:51 -0800 Subject: [PATCH] Temporarily undoing recent changes to arrival/required times. --- src/aig/gia/giaAiger.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c index 76ae3df3f..cd35586ea 100644 --- a/src/aig/gia/giaAiger.c +++ b/src/aig/gia/giaAiger.c @@ -652,9 +652,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi pNew->vInArrs = Vec_FltStart( nInputs ); memcpy( Vec_FltArray(pNew->vInArrs), pCur, (size_t)4*nInputs ); pCur += 4*nInputs; if ( fVerbose ) printf( "Finished reading extension \"i\".\n" ); - if ( Vec_FltSize(pNew->vInArrs) == Gia_ManPiNum(pNew) ) - Vec_FltFillExtra(pNew->vInArrs, Gia_ManCiNum(pNew), 0); - assert( Vec_FltSize(pNew->vInArrs) == Gia_ManCiNum(pNew) ); + //if ( Vec_FltSize(pNew->vInArrs) == Gia_ManPiNum(pNew) ) + // Vec_FltFillExtra(pNew->vInArrs, Gia_ManCiNum(pNew), 0); + //assert( Vec_FltSize(pNew->vInArrs) == Gia_ManCiNum(pNew) ); } else if ( *pCur == 'o' ) { @@ -663,9 +663,9 @@ Gia_Man_t * Gia_AigerReadFromMemory( char * pContents, int nFileSize, int fGiaSi pNew->vOutReqs = Vec_FltStart( nOutputs ); memcpy( Vec_FltArray(pNew->vOutReqs), pCur, (size_t)4*nOutputs ); pCur += 4*nOutputs; if ( fVerbose ) printf( "Finished reading extension \"o\".\n" ); - if ( Vec_FltSize(pNew->vOutReqs) == Gia_ManPoNum(pNew) ) - Vec_FltFillExtra(pNew->vOutReqs, Gia_ManCoNum(pNew), 0); - assert( Vec_FltSize(pNew->vOutReqs) == Gia_ManCoNum(pNew) ); + //if ( Vec_FltSize(pNew->vOutReqs) == Gia_ManPoNum(pNew) ) + // Vec_FltFillExtra(pNew->vOutReqs, Gia_ManCoNum(pNew), 0); + //assert( Vec_FltSize(pNew->vOutReqs) == Gia_ManCoNum(pNew) ); } // read equivalence classes else if ( *pCur == 'e' )