From db2b52ca030085e718fbe400214c644d4c3ba859 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 29 Mar 2025 16:54:10 -0700 Subject: [PATCH] Bug fix. --- src/base/abc/abcUtil.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/base/abc/abcUtil.c b/src/base/abc/abcUtil.c index 812256a1d..6de7b50e7 100644 --- a/src/base/abc/abcUtil.c +++ b/src/base/abc/abcUtil.c @@ -3378,6 +3378,8 @@ int Abc_NtkMatchGpcPattern( Vec_Int_t * vRanks, int i, char * pGPC ) { int k, Cur, Min = ABC_INFINITY; for ( k = 0; pGPC[k] != ':' && i+k < Vec_IntSize(vRanks); k++ ) { + if ( Abc_TtReadHexDigit(pGPC[k]) == 0 ) + continue; Cur = Vec_IntEntry(vRanks, i+k) / Abc_TtReadHexDigit(pGPC[k]); if ( Min > Cur ) Min = Cur;