diff options
Diffstat (limited to 'src/opt/res')
| -rw-r--r-- | src/opt/res/resSat.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/res/resSat.c b/src/opt/res/resSat.c index a17f92fa..17f3d661 100644 --- a/src/opt/res/resSat.c +++ b/src/opt/res/resSat.c @@ -279,7 +279,8 @@ int Res_SatSimulate( Res_Sim_t * p, int nPatsLimit, int fOnSet ) for ( i = 0; i < p->nTruePis; i++ ) { Var = (int)(ABC_PTRUINT_T)Abc_NtkPi(p->pAig,i)->pCopy; - value = (int)(pSat->model.ptr[Var] == l_True); +// value = (int)(pSat->model.ptr[Var] == l_True); + value = sat_solver_var_value(pSat, Var); if ( value ) Abc_InfoSetBit( (unsigned *)Vec_PtrEntry(vPats, i), k ); Lit = toLitCond( Var, value ); |