yangke/avalanche

Automatically finds critical software errors. Forked from https://code.google.com/p/avalanche/

avalanche's Issues

error: ‘Clause_new’ was not declared in this scope

Solver.C: In member function ‘bool MINISAT::Solver::addClause(MINISAT::vecMINISAT::Lit&)’:
Solver.C:117:41: error: ‘Clause_new’ was not declared in this scope
Clause* c = Clause_new(ps, false);
^
Solver.C:117:41: note: suggested alternative:
In file included from Solver.h:30:0,
from Solver.C:20:
SolverTypes.h:124:20: note: ‘MINISAT::Clause_new’
friend Clause* Clause_new(const V& ps, bool learnt = false) {
^
Solver.C: In member function ‘MINISAT::lbool MINISAT::Solver::search(int, int)’:
Solver.C:574:59: error: ‘Clause_new’ was not declared in this scope
Clause* c = Clause_new(learnt_clause, true);
^
Solver.C:574:59: note: suggested alternative:
In file included from Solver.h:30:0,
from Solver.C:20:
SolverTypes.h:124:20: note: ‘MINISAT::Clause_new’
friend Clause* Clause_new(const V& ps, bool learnt = false) {
^
Makefile:218: recipe for target 'Solver.o' failed