diff options
Diffstat (limited to 'src')
| -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 ); |