Fix debugging output for infinite backjumps.
Previously, a setting of `--max-backjumps=-1` was reported in the debug output as `0`. But `0` has a very different meaning, and that is confusing.
Please register or sign in to comment
Previously, a setting of `--max-backjumps=-1` was reported in the debug output as `0`. But `0` has a very different meaning, and that is confusing.