From 329831bdacfeb6c68bf9782daaa9c2d2bea9ce32 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Tue, 28 Aug 2012 12:12:24 -0700
Subject: Bug fix: abstraction commands not properly updating status when
 dumping intermediate abstraction.

---
 src/aig/gia/giaAbsVta.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/giaAbsVta.c')

diff --git a/src/aig/gia/giaAbsVta.c b/src/aig/gia/giaAbsVta.c
index 136455f8..084cb903 100644
--- a/src/aig/gia/giaAbsVta.c
+++ b/src/aig/gia/giaAbsVta.c
@@ -1683,6 +1683,7 @@ int Gia_VtaPerformInt( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
         // dump the model
         if ( p->pPars->fDumpVabs && (f & 1) )
         {
+            Abc_FrameSetStatus( -1 );
             Abc_FrameSetCex( NULL );
             Abc_FrameSetNFrames( f+1 );
             Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status vta.status" );
-- 
cgit v1.2.3