Skip to content

A
abc
Commit 8388f065 by Alan Mishchenko
Options

Do not cancel the current abstraction when a new refinement is discovered in VTA.

parent 76f3e03c
Showing with 3 additions and 3 deletions
src/aig/gia/giaAbsVta.c
...@@ -1556,9 +1556,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) ...@@ -1556,9 +1556,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
// reset the counter of frames without change // reset the counter of frames without change
nCountNoChange = 1; nCountNoChange = 1;
// cancel old one if it was sent // cancel old one if it was sent
if ( fOneIsSent ) // if ( fOneIsSent )
Gia_VtaSendCancel( p, pPars->fVerbose ); // Gia_VtaSendCancel( p, pPars->fVerbose );
fOneIsSent = 0; // fOneIsSent = 0;
} }
else if ( ++nCountNoChange == 2 ) // time to send else if ( ++nCountNoChange == 2 ) // time to send
{ {
......
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