diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-08 00:14:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-08 00:14:49 -0700 |
| commit | e1b76633dc0a733b414557dee0fa1d70ace64b49 (patch) | |
| tree | cedfd9190b3119bbab2be8084bec350353d04280 | |
| parent | 5ca4f3cf9f40ab372d9900fc3382aaf9d0adbcc7 (diff) | |
| download | abc-e1b76633dc0a733b414557dee0fa1d70ace64b49.tar.gz abc-e1b76633dc0a733b414557dee0fa1d70ace64b49.tar.bz2 abc-e1b76633dc0a733b414557dee0fa1d70ace64b49.zip | |
Updating &gla_refine to perform suffix refinement.
| -rw-r--r-- | src/aig/gia/giaAbsOut.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsOut.c b/src/aig/gia/giaAbsOut.c index a8523389..65df1073 100644 --- a/src/aig/gia/giaAbsOut.c +++ b/src/aig/gia/giaAbsOut.c @@ -388,8 +388,8 @@ int Gia_ManNewRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int iFrameStart, int iFra Abc_Print( 1, "Refining with %d-frame CEX, starting in frame %d, with %d extra frames.\n", pCex->iFrame, iFrameStart, iFrameExtra ); // derive abstraction pAbs = Gia_ManDupAbsGates( p, p->vGateClasses ); - Gia_ManStop( pAbs ); - pAbs = Gia_ManDupAbsGates( p, p->vGateClasses ); +// Gia_ManStop( pAbs ); +// pAbs = Gia_ManDupAbsGates( p, p->vGateClasses ); if ( Gia_ManPiNum(pAbs) != pCex->nPis ) { Abc_Print( 1, "Gia_ManNewRefine(): The PI counts in GLA and in CEX do not match.\n" ); |