Skip to content
  • Herbert Valerio Riedel's avatar
    Increase `max-backjumps` default from 2000 to 4000 · 085df06c
    Herbert Valerio Riedel authored
    The last time the max-backjumps was increased was back in 2014
    (see 0229cd52) as suggested
    per #1780, and while `--reorder-goals` might often help as well,
    it also often comes at a bigger runtime penalty on average than
    doubling the max-backjumps.
    
    This should also address issues such as #5882
    085df06c
To find the state of this project's repository at the time of any of these versions, check out the tags.