diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-25 12:31:40 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-05-25 12:31:40 +0200 |
| commit | 2852d47c0e7b0da72259ddcec693270d52110578 (patch) | |
| tree | 9c79173e09ea33eac8ac0ab4a150b8e99850ed21 /src/solvers/h48/solve.h | |
| parent | 8dcdfd23ef6fedf89b8a485f6bb54974e5077881 (diff) | |
| download | nissy-core-2852d47c0e7b0da72259ddcec693270d52110578.tar.gz nissy-core-2852d47c0e7b0da72259ddcec693270d52110578.zip | |
Quick fix for bug
Diffstat (limited to 'src/solvers/h48/solve.h')
| -rw-r--r-- | src/solvers/h48/solve.h | 17 |
1 files changed, 8 insertions, 9 deletions
diff --git a/src/solvers/h48/solve.h b/src/solvers/h48/solve.h index 4d3c451..7210478 100644 --- a/src/solvers/h48/solve.h +++ b/src/solvers/h48/solve.h | |||
| @@ -565,16 +565,15 @@ solve_h48( | |||
| 565 | lastused = sollist.used; | 565 | lastused = sollist.used; |
| 566 | pthread_mutex_unlock(&solutions_mutex); | 566 | pthread_mutex_unlock(&solutions_mutex); |
| 567 | 567 | ||
| 568 | if (poll_status == NULL) | 568 | if (poll_status != NULL) { |
| 569 | continue; | 569 | status = poll_status(poll_status_data); |
| 570 | 570 | if (status == NISSY_STATUS_PAUSE && fp) { | |
| 571 | status = poll_status(poll_status_data); | 571 | LOG("[H48 solve] Paused\n"); |
| 572 | if (status == NISSY_STATUS_PAUSE && fp) { | 572 | fp = false; |
| 573 | LOG("[H48 solve] Paused\n"); | 573 | } |
| 574 | fp = false; | 574 | if (status == NISSY_STATUS_RUN) |
| 575 | fp = true; | ||
| 575 | } | 576 | } |
| 576 | if (status == NISSY_STATUS_RUN) | ||
| 577 | fp = true; | ||
| 578 | 577 | ||
| 579 | for (td = true, i = 0; i < threads; i++) | 578 | for (td = true, i = 0; i < threads; i++) |
| 580 | td = td && arg[i].thread_done; | 579 | td = td && arg[i].thread_done; |