diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 10:57:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-30 10:57:33 -0700 |
| commit | 979086781741bb37b903793a1484366e418abc6c (patch) | |
| tree | 1222bd260d0cecbd3bada547a0d477b88d5c5538 /src/sat/bmc/bmcFault.c | |
| parent | ce92ee2b4d87436073bbfe4609eb6d1bfbe606da (diff) | |
| download | abc-979086781741bb37b903793a1484366e418abc6c.tar.gz abc-979086781741bb37b903793a1484366e418abc6c.tar.bz2 abc-979086781741bb37b903793a1484366e418abc6c.zip | |
Fix to the problem of not dumping test-vectors in &fftest when the use-specified test set is complete or when a timeout occurred.
Diffstat (limited to 'src/sat/bmc/bmcFault.c')
| -rw-r--r-- | src/sat/bmc/bmcFault.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); |