summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 18:57:13 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-03-09 18:57:13 -0800
commit8388f065f4b365a3a0c0aca4c8673b26c04ad47e (patch)
tree4e7770bfa31594534e527b7127f27b8c9587b3b6
parent76f3e03cc1dab080119e64febc797580560166d6 (diff)
downloadabc-8388f065f4b365a3a0c0aca4c8673b26c04ad47e.tar.gz
abc-8388f065f4b365a3a0c0aca4c8673b26c04ad47e.tar.bz2
abc-8388f065f4b365a3a0c0aca4c8673b26c04ad47e.zip
Do not cancel the current abstraction when a new refinement is discovered in VTA.
-rw-r--r--src/aig/gia/giaAbsVta.c6
1 files 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
{