From 3f6bb881c07c9bb6c2976a05bab32a98bed5cc89 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 Apr 2012 14:51:06 -0700 Subject: Adding dumping abstractions in &vta. --- src/aig/gia/giaAbsVta.c | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'src') 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 ) { -- cgit v1.2.3