diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-03-25 15:17:00 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-03-25 15:17:00 +0100 |
| commit | 0f4931c8de298b0f97aba1757c9538f48adb30c6 (patch) | |
| tree | 4778096a091b980bc0f44fe3bfdfbcb65abcb6a0 /src/solvers | |
| parent | 9154476ba6bf400c1eb379f0a3aa6caae2d06d4d (diff) | |
| download | nissy-core-0f4931c8de298b0f97aba1757c9538f48adb30c6.tar.gz nissy-core-0f4931c8de298b0f97aba1757c9538f48adb30c6.zip | |
Tiny bugfix in solution writing
Diffstat (limited to 'src/solvers')
| -rw-r--r-- | src/solvers/solutions.h | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/solvers/solutions.h b/src/solvers/solutions.h index d8e1954..bbff9cf 100644 --- a/src/solvers/solutions.h +++ b/src/solvers/solutions.h | |||
| @@ -152,12 +152,13 @@ appendsolution( | |||
| 152 | list->size - list->used, list->buf + list->used); | 152 | list->size - list->used, list->buf + list->used); |
| 153 | if (strl < 0) | 153 | if (strl < 0) |
| 154 | goto appendsolution_error_buffer; | 154 | goto appendsolution_error_buffer; |
| 155 | list->used += (size_t)(strl-1); | 155 | list->used += strl; |
| 156 | 156 | ||
| 157 | /* Write moves on inverse with NISS notation */ | 157 | /* Write moves on inverse with NISS notation */ |
| 158 | if (tsol[r].npremoves > 0) { | 158 | if (tsol[r].npremoves > 0) { |
| 159 | if (!appendchar(list, ' ')) | 159 | if (strl > 0) |
| 160 | goto appendsolution_error_buffer; | 160 | if (!appendchar(list, ' ')) |
| 161 | goto appendsolution_error_buffer; | ||
| 161 | if (!appendchar(list, '(')) | 162 | if (!appendchar(list, '(')) |
| 162 | goto appendsolution_error_buffer; | 163 | goto appendsolution_error_buffer; |
| 163 | 164 | ||
| @@ -165,7 +166,7 @@ appendsolution( | |||
| 165 | list->size - list->used, list->buf + list->used); | 166 | list->size - list->used, list->buf + list->used); |
| 166 | if (strl < 0) | 167 | if (strl < 0) |
| 167 | goto appendsolution_error_buffer; | 168 | goto appendsolution_error_buffer; |
| 168 | list->used += (size_t)(strl-1); | 169 | list->used += strl; |
| 169 | 170 | ||
| 170 | if (!appendchar(list, ')')) | 171 | if (!appendchar(list, ')')) |
| 171 | goto appendsolution_error_buffer; | 172 | goto appendsolution_error_buffer; |