diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2026-01-08 21:33:56 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2026-01-08 21:33:56 +0100 |
| commit | eaf65bad43feadf599f461e0215da6aca0bd3932 (patch) | |
| tree | f06bc2f5b9780874e38c01ae8196e26a1363816a /src/solvers | |
| parent | e8ac4ad0e682c21ee2ec24c006b1041e69165df9 (diff) | |
| download | nissy-core-eaf65bad43feadf599f461e0215da6aca0bd3932.tar.gz nissy-core-eaf65bad43feadf599f461e0215da6aca0bd3932.zip | |
Add back simple check, almost irrelevant
Diffstat (limited to 'src/solvers')
| -rw-r--r-- | src/solvers/h48/solve.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 830a6b2..92de8a9 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -174,6 +174,10 @@ h48_prune_pipeline( | |||
| 174 | } | 174 | } |
| 175 | } | 175 | } |
| 176 | 176 | ||
| 177 | /* We'll never get a bound higher than base + 3 */ | ||
| 178 | if (target > arg->base + 3) | ||
| 179 | return; | ||
| 180 | |||
| 177 | /* Stage 1: cdata and prefetch inverse */ | 181 | /* Stage 1: cdata and prefetch inverse */ |
| 178 | for (m = 0; m < NMOVES; m++) { | 182 | for (m = 0; m < NMOVES; m++) { |
| 179 | if (prune[m].stop) | 183 | if (prune[m].stop) |
