diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-11-30 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-11-30 08:01:00 -0800 |
| commit | 369f008e69a4f201cbc7c890a08221086bee4698 (patch) | |
| tree | 6dbc56239d2c6cf916c660327525b19773a9907c /src/aig/fra/fraCore.c | |
| parent | 765a21240891735a844dd64d1d73789ae6e55bc6 (diff) | |
| download | abc-369f008e69a4f201cbc7c890a08221086bee4698.tar.gz abc-369f008e69a4f201cbc7c890a08221086bee4698.tar.bz2 abc-369f008e69a4f201cbc7c890a08221086bee4698.zip | |
Version abc71130
Diffstat (limited to 'src/aig/fra/fraCore.c')
| -rw-r--r-- | src/aig/fra/fraCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/fra/fraCore.c b/src/aig/fra/fraCore.c index 7400b3f9..95d65e25 100644 --- a/src/aig/fra/fraCore.c +++ b/src/aig/fra/fraCore.c @@ -280,6 +280,8 @@ static inline void Fra_FraigNode( Fra_Man_t * p, Aig_Obj_t * pObj ) // Fra_FraigVerifyCounterEx( p, p->vCex ); // simulate the counter-example and return the Fraig node Fra_SmlResimulate( p ); + if ( p->pManFraig->pData ) + return; if ( !p->pPars->nFramesK && Fra_ClassObjRepr(pObj) == pObjRepr ) printf( "Fra_FraigNode(): Error in class refinement!\n" ); assert( p->pPars->nFramesK || Fra_ClassObjRepr(pObj) != pObjRepr ); |