diff options
| author | enricotenuti <tenutz_27@outlook.it> | 2024-09-29 12:38:43 +0200 |
|---|---|---|
| committer | enricotenuti <tenutz_27@outlook.it> | 2024-09-29 12:38:43 +0200 |
| commit | 8fcfb3a33fe053ed2032d58ecc0b5d640c155931 (patch) | |
| tree | 52c70a5829e93ad57cfe1101d2afa0693db91d53 /src/nissy.c | |
| parent | 105259a58425a9ca1cec1b85339588410ae4fff7 (diff) | |
| download | nissy-core-8fcfb3a33fe053ed2032d58ecc0b5d640c155931.tar.gz nissy-core-8fcfb3a33fe053ed2032d58ecc0b5d640c155931.zip | |
minor changes for PR
Diffstat (limited to 'src/nissy.c')
| -rw-r--r-- | src/nissy.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/nissy.c b/src/nissy.c index 56acf25..a2da73d 100644 --- a/src/nissy.c +++ b/src/nissy.c | |||
| @@ -1,5 +1,6 @@ | |||
| 1 | #include <inttypes.h> | 1 | #include <inttypes.h> |
| 2 | #include <pthread.h> | 2 | #include <pthread.h> |
| 3 | #include <stdatomic.h> | ||
| 3 | #include <stdarg.h> | 4 | #include <stdarg.h> |
| 4 | #include <stdbool.h> | 5 | #include <stdbool.h> |
| 5 | #include <string.h> | 6 | #include <string.h> |
| @@ -333,7 +334,7 @@ nissy_solve( | |||
| 333 | ret = -1; | 334 | ret = -1; |
| 334 | } else { | 335 | } else { |
| 335 | ret = THREADS > 1 ? | 336 | ret = THREADS > 1 ? |
| 336 | solve_h48_parent(c, minmoves, maxmoves, maxsolutions, data, solutions) : | 337 | solve_h48_multithread(c, minmoves, maxmoves, maxsolutions, data, solutions) : |
| 337 | solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions); | 338 | solve_h48(c, minmoves, maxmoves, maxsolutions, data, solutions); |
| 338 | } | 339 | } |
| 339 | } else if (!strcmp(solver, "h48stats")) { | 340 | } else if (!strcmp(solver, "h48stats")) { |