From d89805946095ca41d2e79e1be7957b9f3141b8cd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 7 Apr 2012 18:38:20 -0700
Subject: Added dumping abstracted model in &vta.

---
 src/aig/gia/giaAbsVta.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 5ee030ec..dda6457f 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1444,8 +1444,8 @@ void Gia_VtaDumpAbsracted( Vta_Man_t * p, int fVerbose )
     Gia_Man_t * pAbs;
     if ( fVerbose )
         Abc_Print( 1, "Dumping abstracted model into file \"vabs.aig\"...\n" );
-    if ( !Abc_FrameIsBridgeMode() )
-        return;
+//    if ( !Abc_FrameIsBridgeMode() )
+//        return;
     // create obj classes
     Vec_IntFreeP( &p->pGia->vObjClasses );
     p->pGia->vObjClasses = Gia_VtaFramesToAbs( (Vec_Vec_t *)p->vCores );
-- 
cgit v1.2.3