Skip to content

A
abc
Commit 3f6bb881 by Alan Mishchenko
Options

Adding dumping abstractions in &vta.

parent 5c683fc1
Showing with 5 additions and 2 deletions
src/aig/gia/giaAbsVta.c
...@@ -1602,9 +1602,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) ...@@ -1602,9 +1602,12 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
Gia_VtaSendAbsracted( p, pPars->fVerbose ); Gia_VtaSendAbsracted( p, pPars->fVerbose );
fOneIsSent = 1; fOneIsSent = 1;
// dump the model // dump the model
if ( p->pPars->fDumpVabs ) // if ( p->pPars->fDumpVabs )
Gia_VtaDumpAbsracted( p, pPars->fVerbose ); // 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 // check if the number of objects is below limit
if ( p->nSeenGla >= Gia_ManCandNum(pAig) * (100-pPars->nRatioMin) / 100 ) if ( p->nSeenGla >= Gia_ManCandNum(pAig) * (100-pPars->nRatioMin) / 100 )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment