From 980c11973b441424ad88039d28ef6e0cf4527ef1 Mon Sep 17 00:00:00 2001 From: Drew Lewis Date: Wed, 23 Sep 2026 21:22:19 +0000 Subject: [PATCH] Mark visited nodes in Abc_NtkDontCareWinAddMissing_rec --- src/base/abci/abcOdc.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/base/abci/abcOdc.c b/src/base/abci/abcOdc.c index cb63b61a48..f5594583b5 100644 --- a/src/base/abci/abcOdc.c +++ b/src/base/abci/abcOdc.c @@ -433,6 +433,7 @@ int Abc_NtkDontCareWinAddMissing_rec( Odc_Man_t * p, Abc_Obj_t * pObj ) Vec_PtrPush( p->vBranches, pObj ); return Vec_PtrSize(p->vBranches) <= 32; } + Abc_NodeSetTravIdCurrent( pObj ); // visit the fanins of the node Abc_ObjForEachFanin( pObj, pFanin, i ) if ( !Abc_NtkDontCareWinAddMissing_rec( p, pFanin ) )