search

msoos / cryptominisat

An advanced SAT solver
https://www.msoos.org
Other
817 stars 181 forks source link

Assert too much in multi-thread solver #173

Closed capiman closed 10 years ago

capiman commented 10 years ago

void SATSolver::add_in_partial_solving_stats() { MY_SOLVERS assert(solvers->size() == 1); solvers->at(0)->add_in_partial_solving_stats(); }

I get the assert when running in multi thread mode and abort by a key press. I think the assert is too much (cut&paste error)?

msoos commented 10 years ago

Fixed, thanks!