diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-18 23:52:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-18 23:52:41 -0700 |
| commit | 1fe2ba9ac0787906573f7b1cadf5ff535ee7444f (patch) | |
| tree | 7bad88053a17eee658f19c573bf2f6a418f8466c /src/aig/gia/giaAbsVta.c | |
| parent | 6b2da3978f69aa107568ed2a03845376d136a9b4 (diff) | |
| download | abc-1fe2ba9ac0787906573f7b1cadf5ff535ee7444f.tar.gz abc-1fe2ba9ac0787906573f7b1cadf5ff535ee7444f.tar.bz2 abc-1fe2ba9ac0787906573f7b1cadf5ff535ee7444f.zip | |
Enabling &gla for combinational miters.
Diffstat (limited to 'src/aig/gia/giaAbsVta.c')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 85d51a42..7d4bc65a 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1698,6 +1698,8 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) } finish: // analize the results + if ( p->pPars->fVerbose ) + printf( "\n" ); if ( pCex == NULL ) { if ( Vec_PtrSize(p->vCores) == 0 ) |