diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-15 14:51:06 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-04-15 14:51:06 -0700 |
| commit | 3f6bb881c07c9bb6c2976a05bab32a98bed5cc89 (patch) | |
| tree | 294e9a21b3d7a3769b6aa857829bfe46d331444b /src | |
| parent | 5c683fc1640bfba8fa796bc98b32e83a03366fee (diff) | |
| download | abc-3f6bb881c07c9bb6c2976a05bab32a98bed5cc89.tar.gz abc-3f6bb881c07c9bb6c2976a05bab32a98bed5cc89.tar.bz2 abc-3f6bb881c07c9bb6c2976a05bab32a98bed5cc89.zip | |
Adding dumping abstractions in &vta.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaAbsVta.c | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index dda6457f..b2431ecf 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1602,9 +1602,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) Gia_VtaSendAbsracted( p, pPars->fVerbose ); fOneIsSent = 1; // dump the model - if ( p->pPars->fDumpVabs ) - Gia_VtaDumpAbsracted( p, pPars->fVerbose ); +// if ( p->pPars->fDumpVabs ) +// Gia_VtaDumpAbsracted( p, pPars->fVerbose ); } + // dump the model + if ( p->pPars->fDumpVabs && (f & 1) ) + Gia_VtaDumpAbsracted( p, pPars->fVerbose ); // check if the number of objects is below limit if ( p->nSeenGla >= Gia_ManCandNum(pAig) * (100-pPars->nRatioMin) / 100 ) { |