From 1c5ed1ce378cc04beac30bb31abc4c37c8467042 Mon Sep 17 00:00:00 2001
From: Miodrag Milanovic <mmicko@gmail.com>
Date: Thu, 6 Nov 2025 09:53:28 +0100
Subject: [PATCH] Revert "Extending support of CI/CO timing info."

This reverts commit aac61902081c12d91969197defce2c1bdc21f212.
---
 src/aig/gia/giaAiger.c |  6 ------
 src/misc/tim/timMan.c  | 28 ++++++++--------------------
 2 files changed, 8 insertions(+), 26 deletions(-)

diff --git a/src/aig/gia/giaAiger.c b/src/aig/gia/giaAiger.c
index 3c44a566d..0b5e5a110 100644
--- a/src/aig/gia/giaAiger.c
+++ b/src/aig/gia/giaAiger.c
@@ -652,9 +652,6 @@ 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) );
             }
             else if ( *pCur == 'o' )
             {
@@ -663,9 +660,6 @@ 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) );
             }
             // read equivalence classes
             else if ( *pCur == 'e' )
diff --git a/src/misc/tim/timMan.c b/src/misc/tim/timMan.c
index 9bcdaaae6..7e112669e 100644
--- a/src/misc/tim/timMan.c
+++ b/src/misc/tim/timMan.c
@@ -451,31 +451,19 @@ void Tim_ManCreate( Tim_Man_t * p, void * pLib, Vec_Flt_t * vInArrs, Vec_Flt_t *
     // create arrival times
     if ( vInArrs )
     {
-        if ( Vec_FltSize(vInArrs) == Tim_ManPiNum(p) ) {
-            Tim_ManForEachPi( p, pObj, i )
-                pObj->timeArr = Vec_FltEntry(vInArrs, i);
-        }
-        else if ( Vec_FltSize(vInArrs) == Tim_ManCiNum(p) ) {
-            Tim_ManForEachCi( p, pObj, i )
-                pObj->timeArr = Vec_FltEntry(vInArrs, i);
-        }
-        else assert( 0 );
+        assert( Vec_FltSize(vInArrs) == Tim_ManPiNum(p) );
+        Tim_ManForEachPi( p, pObj, i )
+            pObj->timeArr = Vec_FltEntry(vInArrs, i);
+
     }
     // create required times
     if ( vOutReqs )
     {
         k = 0;
-        if ( Vec_FltSize(vOutReqs) == Tim_ManPoNum(p) ) {
-            Tim_ManForEachPo( p, pObj, i )
-                pObj->timeReq = Vec_FltEntry(vOutReqs, k++);
-            assert( k == Tim_ManPoNum(p) );
-        }
-        else if ( Vec_FltSize(vOutReqs) == Tim_ManCoNum(p) ) {
-            Tim_ManForEachCo( p, pObj, i )
-                pObj->timeReq = Vec_FltEntry(vOutReqs, k++);
-            assert( k == Tim_ManCoNum(p) );
-        }
-        else assert( 0 );
+        assert( Vec_FltSize(vOutReqs) == Tim_ManPoNum(p) );
+        Tim_ManForEachPo( p, pObj, i )
+            pObj->timeReq = Vec_FltEntry(vOutReqs, k++);
+        assert( k == Tim_ManPoNum(p) );
     }
 }