From bb22a20cb0d6494761fbc7e784cb5f4b59375061 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 9 Mar 2015 08:36:22 -0700 Subject: Support for representing programmable cell configuration data (bug fix). --- src/map/if/ifTune.c | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'src/map/if/ifTune.c') 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 ); -- cgit v1.2.3