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/giaAbsGla2.c | 1 +
 1 file changed, 1 insertion(+)

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

diff --git a/src/aig/gia/giaAbsGla2.c b/src/aig/gia/giaAbsGla2.c
index fe8c7e3d..dd349162 100644
--- a/src/aig/gia/giaAbsGla2.c
+++ b/src/aig/gia/giaAbsGla2.c
@@ -1639,6 +1639,7 @@ int Ga2_ManPerform( Gia_Man_t * pAig, Gia_ParVta_t * pPars )
                 // dump the model into file
                 if ( p->pPars->fDumpVabs || p->pPars->fDumpMabs )
                 {
+                    Abc_FrameSetStatus( -1 );
                     Abc_FrameSetCex( NULL );
                     Abc_FrameSetNFrames( f+1 );
                     Cmd_CommandExecute( Abc_FrameGetGlobalFrame(), "write_status gla.status" );
-- 
cgit v1.2.3