From de1aa127ae6c61b90c1b9009bcdcbdbb98279e88 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=E5=91=A8=E7=9B=8A=E9=BE=99?= Date: Wed, 26 Aug 2026 10:47:32 +0800 Subject: [PATCH] Fix null vLevels in area balancing with input arrivals --- src/aig/gia/giaBalAig.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/aig/gia/giaBalAig.c b/src/aig/gia/giaBalAig.c index 5603b4108b..e17d6f55ab 100644 --- a/src/aig/gia/giaBalAig.c +++ b/src/aig/gia/giaBalAig.c @@ -1060,6 +1060,8 @@ Gia_Man_t * Gia_ManAreaBalance( Gia_Man_t * p, int fSimpleAnd, int nNewNodesMax, else if ( p->vInArrs ) { int i, Id, And2Delay = p->And2Delay ? p->And2Delay : 1; + Vec_IntFreeP( &p->vLevels ); + p->vLevels = Vec_IntStart( Gia_ManObjNum(p) ); Gia_ManForEachCiId( p, Id, i ) Vec_IntWriteEntry( p->vLevels, Id, (int)(Vec_FltEntry(p->vInArrs, i)/And2Delay) ); }