mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-08-10 13:10:51 +00:00
Code Activity

Removed undef feature from ezsat api

Browse source
This commit is contained in:
Clifford Wolf 2013-11-25 02:50:34 +01:00
parent 76f7c10cfc
commit 4d43331748
2 changed files with 2 additions and 11 deletions
Download patch file Download diff file Expand all files Collapse all files

10
libs/ezsat/ezminisat.cc
View file

@ -146,7 +146,7 @@ contradiction:
return false;
modelValues.clear();
modelValues.resize(2 * modelIdx.size());
modelValues.resize(modelIdx.size());
for (size_t i = 0; i < modelIdx.size(); i++)
{
@ -158,13 +158,7 @@ contradiction:
using namespace Minisat;
lbool value = minisatSolver->modelValue(minisatVars.at(idx-1));
if (value == l_Undef) {
modelValues[i] = false;
modelValues[modelIdx.size() + i] = true;
} else {
modelValues[i] = value == Minisat::lbool(refvalue);
modelValues[modelIdx.size() + i] = false;
}
modelValues[i] = (value == Minisat::lbool(refvalue));
}
return true;