diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:31:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-30 11:31:26 -0700 |
commit | ed564664f1ab86611cc05245745a22501f8414c2 (patch) | |
tree | bb9c5d150a72ae5f4112006619debea8ef7f4ab8 /src/aig/gia/giaAbsVta.c | |
parent | cd39fd6b0585659922908d172b0d058a5cb02dbb (diff) | |
download | abc-ed564664f1ab86611cc05245745a22501f8414c2.tar.gz abc-ed564664f1ab86611cc05245745a22501f8414c2.tar.bz2 abc-ed564664f1ab86611cc05245745a22501f8414c2.zip |
Disabling learned clause removal when incremental proof-logging is running (tends to generate smaller abstarctions).
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 31158e9d..59e3eb40 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1728,6 +1728,8 @@ finish: } else { + if ( p->pPars->fVerbose ) + printf( "\n" ); ABC_FREE( p->pGia->pCexSeq ); p->pGia->pCexSeq = pCex; if ( !Gia_ManVerifyCex( p->pGia, pCex, 0 ) ) |