Skip to content

A
abc
Commit e7e21b00 by Alan Mishchenko
Options

Bug fix in the sweeper.

parent 027dbbd4
Showing with 6 additions and 2 deletions
src/aig/gia/giaSweeper.c
...@@ -275,8 +275,12 @@ int Gia_SweeperProbeCreate( Gia_Man_t * p, int iLit ) ...@@ -275,8 +275,12 @@ int Gia_SweeperProbeCreate( Gia_Man_t * p, int iLit )
int Gia_SweeperProbeFind( Gia_Man_t * p, int iLit ) int Gia_SweeperProbeFind( Gia_Man_t * p, int iLit )
{ {
Swp_Man_t * pSwp = (Swp_Man_t *)p->pData; Swp_Man_t * pSwp = (Swp_Man_t *)p->pData;
if ( iLit < Vec_IntSize(pSwp->vLit2Prob) && Vec_IntEntry(pSwp->vLit2Prob, iLit) >= 0 ) int ProbeId = -1;
return Vec_IntEntry(pSwp->vLit2Prob, iLit); if ( iLit < Vec_IntSize(pSwp->vLit2Prob) && (ProbeId = Vec_IntEntry(pSwp->vLit2Prob, iLit)) >= 0 )
{
Vec_IntAddToEntry( pSwp->vProbRefs, ProbeId, 1 );
return ProbeId;
}
return Gia_SweeperProbeCreate( p, iLit ); return Gia_SweeperProbeCreate( p, iLit );
} }
// dereferences the probe // dereferences the probe
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment