luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fix to the problem of not dumping test-vectors in &fftest when the use-specified test set is complete or when a timeout occurred.

This commit is contained in:
Alan Mishchenko 2014-06-30 10:57:33 -07:00
parent ce92ee2b4d
commit 9790867817
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/sat/bmc/bmcFault.c
View File

@ -1016,6 +1016,7 @@ void Gia_ManFaultTest( Gia_Man_t * p, Gia_Man_t * pG, Bmc_ParFf_t * pPars )
// add constraint // add constraint
Gia_ManFaultAddOne( pM, pCnf, pSat, vLits, nFuncVars ); Gia_ManFaultAddOne( pM, pCnf, pSat, vLits, nFuncVars );
} }
finish:
// print results // print results
// if ( status == l_False ) // if ( status == l_False )
// Gia_ManPrintResults( p, pSat, Iter, Abc_Clock() - clkTotal ); // 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 ); Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
} }
} }
finish:
sat_solver_delete( pSat ); sat_solver_delete( pSat );
Cnf_DataFree( pCnf ); Cnf_DataFree( pCnf );
Gia_ManStop( pM ); Gia_ManStop( pM );