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

Support for representing programmable cell configuration data (bug fix).

This commit is contained in:
Alan Mishchenko 2015-03-09 08:36:22 -07:00
parent f4d3bf859e
commit bb22a20cb0
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/map/if/ifTune.c
View File

@ -1327,7 +1327,10 @@ int Ifn_NtkMatch( Ifn_Ntk_t * p, word * pTruth, int nVars, int nConfls, int fVer
int i, v, status, iMint = 0;
abctime clk = Abc_Clock();
// abctime clkTru = 0, clkSat = 0, clk2;
sat_solver * pSat = sat_solver_new();
sat_solver * pSat;
if ( nVars == 0 )
return 1;
pSat = sat_solver_new();
Ifn_Prepare( p, pTruth, nVars );
sat_solver_setnvars( pSat, p->nPars );
Ifn_NtkAddConstraints( p, pSat );