Skip to content

A
abc
Commit 500c76d2 by Alan Mishchenko
Options

Performance improvement in &gla_refine.

parent 32217230
Showing with 2 additions and 2 deletions
src/aig/gia/giaAbsGla.c
...@@ -255,8 +255,8 @@ int Gia_ManGlaRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int fMinCut, int fVerbose ...@@ -255,8 +255,8 @@ int Gia_ManGlaRefine( Gia_Man_t * p, Abc_Cex_t * pCex, int fMinCut, int fVerbose
pCexNew = Gia_ManCexRemap( p, pCex, vPis ); pCexNew = Gia_ManCexRemap( p, pCex, vPis );
printf( "Procedure &gla_refine found a real counter-example in frame %d.\n", pCexNew->iFrame ); printf( "Procedure &gla_refine found a real counter-example in frame %d.\n", pCexNew->iFrame );
} }
else // else
printf( "CEX is not real.\n" ); // printf( "CEX is not real.\n" );
Gia_ManForEachObj( pAbs, pObj, i ) Gia_ManForEachObj( pAbs, pObj, i )
Gia_ObjTerSimSetC( pObj ); Gia_ObjTerSimSetC( pObj );
if ( pCexNew == NULL ) if ( pCexNew == NULL )
......
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