From ce03d5ab28d42c1ce357663590fb0f9795174079 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 27 Apr 2012 08:26:40 +0700
Subject: [PATCH] Writing status file vta.status when dumping intermediate
 abstraction in &vta.

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

diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 60ef85ada..5aeca72e3 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1608,7 +1608,9 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
         // dump the model
         if ( p->pPars->fDumpVabs && (f & 1) )
         {
-            Abc_FrameSetNFrames( f );
+            Abc_FrameSetCex( NULL );
+            Abc_FrameSetNFrames( f+1 );
+            Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status vta.status" );
             Gia_VtaDumpAbsracted( p, pPars->fVerbose );
         }
         // check if the number of objects is below limit