diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-28 13:52:00 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-28 13:52:00 +0200 |
| commit | 7f24b27652ee6fa84e38f181cea57f319af0c204 (patch) | |
| tree | 269b15baf20c2ae4ed3bb1fdb052340311aa1981 /src/core/cube.h | |
| parent | 9b248f3b46d5dc0e9522ed264ef71e422a5bc5a5 (diff) | |
| download | nissy-core-7f24b27652ee6fa84e38f181cea57f319af0c204.tar.gz nissy-core-7f24b27652ee6fa84e38f181cea57f319af0c204.zip | |
Make failed assert exit immediately
Diffstat (limited to '')
| -rw-r--r-- | src/core/cube.h | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/core/cube.h b/src/core/cube.h index 842ec59..cdd3946 100644 --- a/src/core/cube.h +++ b/src/core/cube.h | |||
| @@ -87,8 +87,7 @@ issolvable(oriented_cube_t cube) | |||
| 87 | { | 87 | { |
| 88 | uint8_t i, eo, co, piece, edge[12], corner[8], ep[12], cp[8]; | 88 | uint8_t i, eo, co, piece, edge[12], corner[8], ep[12], cp[8]; |
| 89 | 89 | ||
| 90 | DBG_ASSERT(isconsistent(cube), false, | 90 | DBG_ASSERT(isconsistent(cube), "issolvable: cube is inconsistent\n"); |
| 91 | "issolvable: cube is inconsistent\n"); | ||
| 92 | 91 | ||
| 93 | pieces(&cube.cube, corner, edge); | 92 | pieces(&cube.cube, corner, edge); |
| 94 | for (i = 0; i < 12; i++) | 93 | for (i = 0; i < 12; i++) |
| @@ -175,16 +174,16 @@ getcube(int64_t ep, int64_t eo, int64_t cp, int64_t co) | |||
| 175 | uint8_t i, earr[12], carr[8], eoarr[12], coarr[8]; | 174 | uint8_t i, earr[12], carr[8], eoarr[12], coarr[8]; |
| 176 | 175 | ||
| 177 | sumzerotodigits(eo, 12, 2, eoarr); | 176 | sumzerotodigits(eo, 12, 2, eoarr); |
| 178 | DBG_ASSERT(eoarr[0] != UINT8_ERROR, ZERO_CUBE, "Error making EO"); | 177 | DBG_ASSERT(eoarr[0] != UINT8_ERROR, "Error making EO"); |
| 179 | indextoperm(ep, 12, earr); | 178 | indextoperm(ep, 12, earr); |
| 180 | DBG_ASSERT(earr[0] != UINT8_ERROR, ZERO_CUBE, "Error making EP"); | 179 | DBG_ASSERT(earr[0] != UINT8_ERROR, "Error making EP"); |
| 181 | for (i = 0; i < 12; i++) | 180 | for (i = 0; i < 12; i++) |
| 182 | earr[i] |= eoarr[i] << EOSHIFT; | 181 | earr[i] |= eoarr[i] << EOSHIFT; |
| 183 | 182 | ||
| 184 | sumzerotodigits(co, 8, 3, coarr); | 183 | sumzerotodigits(co, 8, 3, coarr); |
| 185 | DBG_ASSERT(coarr[0] != UINT8_ERROR, ZERO_CUBE, "Error making CO"); | 184 | DBG_ASSERT(coarr[0] != UINT8_ERROR, "Error making CO"); |
| 186 | indextoperm(cp, 8, carr); | 185 | indextoperm(cp, 8, carr); |
| 187 | DBG_ASSERT(carr[0] != UINT8_ERROR, ZERO_CUBE, "Error making CP"); | 186 | DBG_ASSERT(carr[0] != UINT8_ERROR, "Error making CP"); |
| 188 | for (i = 0; i < 8; i++) | 187 | for (i = 0; i < 8; i++) |
| 189 | carr[i] |= coarr[i] << COSHIFT; | 188 | carr[i] |= coarr[i] << COSHIFT; |
| 190 | 189 | ||
