From 8388f065f4b365a3a0c0aca4c8673b26c04ad47e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 9 Mar 2012 18:57:13 -0800 Subject: Do not cancel the current abstraction when a new refinement is discovered in VTA. --- src/aig/gia/giaAbsVta.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c index 9046244f..a697ee16 100644 --- a/src/aig/gia/giaAbsVta.c +++ b/src/aig/gia/giaAbsVta.c @@ -1556,9 +1556,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars ) // reset the counter of frames without change nCountNoChange = 1; // cancel old one if it was sent - if ( fOneIsSent ) - Gia_VtaSendCancel( p, pPars->fVerbose ); - fOneIsSent = 0; +// if ( fOneIsSent ) +// Gia_VtaSendCancel( p, pPars->fVerbose ); +// fOneIsSent = 0; } else if ( ++nCountNoChange == 2 ) // time to send { -- cgit v1.2.3