From d85bc1dd68afa94ad4625cfae3f59e5211253111 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 13 Nov 2017 18:50:04 -0800 Subject: Changes to make GIA structural hashing use a dedicated array instead of pObj->Value. --- src/proof/ssc/sscCore.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/proof') diff --git a/src/proof/ssc/sscCore.c b/src/proof/ssc/sscCore.c index caad8d48..a6c6f494 100644 --- a/src/proof/ssc/sscCore.c +++ b/src/proof/ssc/sscCore.c @@ -85,7 +85,7 @@ Ssc_Man_t * Ssc_ManStart( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPar p->pAig = pAig; p->pCare = pCare; p->pFraig = Gia_ManDupDfs( p->pCare ); - assert( p->pFraig->pHTable == NULL ); + assert( Vec_IntSize(&p->pFraig->vHTable) == 0 ); assert( !Gia_ManHasDangling(p->pFraig) ); Gia_ManInvertPos( p->pFraig ); Ssc_ManStartSolver( p ); -- cgit v1.2.3