Clean-up skipEarlyPruning (#921)
authorJoost VandeVondele <Joost.VandeVondele@gmail.com>
Sun, 11 Dec 2016 19:05:25 +0000 (20:05 +0100)
committerMarco Costalba <mcostalba@users.noreply.github.com>
Sun, 11 Dec 2016 19:05:25 +0000 (20:05 +0100)
commit1b62d413c137bfa669922b6d52b92262d60020f1
tree212b04efb84baff75b5882a5e5b22b35ceb9ec1c
parent589049a0e58f5cde377e620e1669d7ce17ff5ddd
Clean-up skipEarlyPruning (#921)

make skipEarlyPruning a search argument instead of managing this by hand.

Verified for no regression at STC:
LLR: 2.96 (-2.94,2.94) [-3.00,1.00]
Total: 96754 W: 17089 L: 17095 D: 62570

No functional change.
src/search.cpp
src/search.h