From 979086781741bb37b903793a1484366e418abc6c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 30 Jun 2014 10:57:33 -0700
Subject: Fix to the problem of not dumping test-vectors in &fftest when the
 use-specified test set is complete or when a timeout occurred.

---
 src/sat/bmc/bmcFault.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/sat')

diff --git a/src/sat/bmc/bmcFault.c b/src/sat/bmc/bmcFault.c
index 5acc01cc..9b9ba129 100644
--- a/src/sat/bmc/bmcFault.c
+++ b/src/sat/bmc/bmcFault.c
@@ -1016,6 +1016,7 @@ void Gia_ManFaultTest( Gia_Man_t * p, Gia_Man_t * pG, Bmc_ParFf_t * pPars )
         // add constraint
         Gia_ManFaultAddOne( pM, pCnf, pSat, vLits, nFuncVars );
     }
+finish:
     // print results
 //    if ( status == l_False )
 //        Gia_ManPrintResults( p, pSat, Iter, Abc_Clock() - clkTotal );
@@ -1136,7 +1137,6 @@ void Gia_ManFaultTest( Gia_Man_t * p, Gia_Man_t * pG, Bmc_ParFf_t * pPars )
             Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
         }
     }
-finish:
     sat_solver_delete( pSat );
     Cnf_DataFree( pCnf );
     Gia_ManStop( pM );
-- 
cgit v1.2.3