mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-13 04:28:18 +00:00
Code Activity

ezSAT bugfix: don't call virtual methods in base class constructor

Browse source
This commit is contained in:
Clifford Wolf 2014-03-01 20:59:00 +01:00
parent edc2146056
commit 23f0a12c72
2 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
libs/ezsat/ezminisat.cc
View file

@ -35,6 +35,9 @@ ezMiniSAT::ezMiniSAT() : minisatSolver(NULL)
{ {
minisatSolver = NULL; minisatSolver = NULL;
foundContradiction = false; foundContradiction = false;
freeze(TRUE);
freeze(FALSE);
} }
ezMiniSAT::~ezMiniSAT() ezMiniSAT::~ezMiniSAT()

4
libs/ezsat/ezsat.cc
View file

@ -36,8 +36,8 @@ ezSAT::ezSAT()
solverTimeout = 0; solverTimeout = 0;
solverTimoutStatus = false; solverTimoutStatus = false;
freeze(literal("TRUE")); literal("TRUE");
freeze(literal("FALSE")); literal("FALSE");
assert(literal("TRUE") == TRUE); assert(literal("TRUE") == TRUE);
assert(literal("FALSE") == FALSE); assert(literal("FALSE") == FALSE);