diff options
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/ssw/sswCore.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/ssw/sswCore.c b/src/proof/ssw/sswCore.c index 58c01b21..1036d7b4 100644 --- a/src/proof/ssw/sswCore.c +++ b/src/proof/ssw/sswCore.c @@ -496,7 +496,7 @@ Aig_Man_t * Ssw_SignalCorrespondence( Aig_Man_t * pAig, Ssw_Pars_t * pPars ) Ssw_ClassesSetData( p->ppClasses, p->pSml, (unsigned(*)(void *,Aig_Obj_t *))Ssw_SmlObjHashWord, (int(*)(void *,Aig_Obj_t *))Ssw_SmlObjIsConstWord, (int(*)(void *,Aig_Obj_t *,Aig_Obj_t *))Ssw_SmlObjsAreEqualWord ); } // allocate storage - if ( p->pPars->fLocalSim ) + if ( p->pPars->fLocalSim && p->pSml ) p->pVisited = ABC_CALLOC( int, Ssw_SmlNumFrames( p->pSml ) * Aig_ManObjNumMax(p->pAig) ); // perform refinement of classes pAigNew = Ssw_SignalCorrespondenceRefine( p ); |