diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-03 11:21:58 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-03 11:21:58 -0700 |
| commit | 500c76d213b829a7729d717a09704d6197a37e1b (patch) | |
| tree | cc55e429124c58fda75611be6a27474d7613949b /src | |
| parent | 32217230b069efc79e84ab80924317c8059956dd (diff) | |
| download | abc-500c76d213b829a7729d717a09704d6197a37e1b.tar.gz abc-500c76d213b829a7729d717a09704d6197a37e1b.tar.bz2 abc-500c76d213b829a7729d717a09704d6197a37e1b.zip | |
Performance improvement in &gla_refine.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsGla.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsGla.c b/src/aig/gia/giaAbsGla.c index 16c37e0e..01b41312 100644 --- a/src/aig/gia/giaAbsGla.c +++ b/src/aig/gia/giaAbsGla.c @@ -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 ); printf( "Procedure &gla_refine found a real counter-example in frame %d.\n", pCexNew->iFrame ); } - else - printf( "CEX is not real.\n" ); +// else +// printf( "CEX is not real.\n" ); Gia_ManForEachObj( pAbs, pObj, i ) Gia_ObjTerSimSetC( pObj ); if ( pCexNew == NULL ) |