diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-09 08:36:22 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-09 08:36:22 -0700 |
| commit | bb22a20cb0d6494761fbc7e784cb5f4b59375061 (patch) | |
| tree | 431a3952d9dd9341fb5a35348bb4d97a5ef24e6f /src | |
| parent | f4d3bf859e2ea54db199eb20f251f9145eef8ee7 (diff) | |
| download | abc-bb22a20cb0d6494761fbc7e784cb5f4b59375061.tar.gz abc-bb22a20cb0d6494761fbc7e784cb5f4b59375061.tar.bz2 abc-bb22a20cb0d6494761fbc7e784cb5f4b59375061.zip | |
Support for representing programmable cell configuration data (bug fix).
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/if/ifTune.c | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index 57b935e2..c55e97d2 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -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 ); |