diff options
Diffstat (limited to 'src/nissy.c')
| -rw-r--r-- | src/nissy.c | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/src/nissy.c b/src/nissy.c index 40e4be7..92fc01b 100644 --- a/src/nissy.c +++ b/src/nissy.c | |||
| @@ -19,7 +19,7 @@ STATIC bool distribution_equal(const uint64_t [static INFO_DISTRIBUTION_LEN], | |||
| 19 | const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t); | 19 | const uint64_t [static INFO_DISTRIBUTION_LEN], uint8_t); |
| 20 | STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]); | 20 | STATIC long long write_result(cube_t, char [static NISSY_SIZE_B32]); |
| 21 | STATIC size_t my_strnlen(const char *, size_t); | 21 | STATIC size_t my_strnlen(const char *, size_t); |
| 22 | STATIC long long nissy_dataid(const char *, char [static NISSY_DATAID_SIZE]); | 22 | STATIC long long nissy_dataid(const char *, char [static NISSY_SIZE_DATAID]); |
| 23 | STATIC long long nissy_gendata_unsafe( | 23 | STATIC long long nissy_gendata_unsafe( |
| 24 | const char *, unsigned long long, char *); | 24 | const char *, unsigned long long, char *); |
| 25 | 25 | ||
| @@ -355,9 +355,8 @@ nissy_getcube( | |||
| 355 | c = getcube(ep, eo, cp, co); | 355 | c = getcube(ep, eo, cp, co); |
| 356 | 356 | ||
| 357 | if (!isconsistent(c)) { | 357 | if (!isconsistent(c)) { |
| 358 | LOG("Error: could not get cube with ep=%" PRId64 ", eo=%" | 358 | LOG("Error: could not get cube with ep=%lld, eo=%lld, " |
| 359 | PRId64 ", cp=%" PRId64 ", co=%" PRId64 ".\n", | 359 | "cp=%lld, co=%lld.\n", ep, eo, cp, co); |
| 360 | ep, eo, cp, co); | ||
| 361 | return NISSY_ERROR_OPTIONS; | 360 | return NISSY_ERROR_OPTIONS; |
| 362 | } | 361 | } |
| 363 | 362 | ||
| @@ -368,7 +367,7 @@ long long | |||
| 368 | nissy_datainfo( | 367 | nissy_datainfo( |
| 369 | uint64_t data_size, | 368 | uint64_t data_size, |
| 370 | const char data[data_size], | 369 | const char data[data_size], |
| 371 | void (*write)(const char *, ...) | 370 | void (*write)(const char *) |
| 372 | ) | 371 | ) |
| 373 | { | 372 | { |
| 374 | uint8_t i; | 373 | uint8_t i; |
| @@ -384,25 +383,24 @@ nissy_datainfo( | |||
| 384 | if (ret != 0) | 383 | if (ret != 0) |
| 385 | return ret; | 384 | return ret; |
| 386 | 385 | ||
| 387 | write("\n---------\n\n"); | 386 | write_wrapper(write, |
| 388 | write("Table information for '%s'\n", info.solver); | 387 | "\n---------\n\n" |
| 389 | write("\n"); | 388 | "Table information for '%s'\n\n" |
| 390 | write("Size: %" PRIu64 " bytes\n", info.fullsize); | 389 | "Size: %" PRIu64 " bytes\n" |
| 391 | write("Entries: %" PRIu64 " (%" PRIu8 " bits per entry)", | 390 | "Entries: %" PRIu64 " (%" PRIu8 " bits per entry)\n", |
| 392 | info.entries, info.bits); | 391 | info.solver, info.fullsize, info.entries, info.bits); |
| 393 | write("\n"); | ||
| 394 | 392 | ||
| 395 | switch (info.type) { | 393 | switch (info.type) { |
| 396 | case TABLETYPE_PRUNING: | 394 | case TABLETYPE_PRUNING: |
| 397 | write("\n"); | 395 | write_wrapper(write, "\nTable distribution:\n" |
| 398 | write("Table distribution:\nValue\tPositions\n"); | 396 | "Value\tPositions\n"); |
| 399 | for (i = 0; i <= info.maxvalue; i++) { | 397 | for (i = 0; i <= info.maxvalue; i++) { |
| 400 | write("%" PRIu8 "\t%" PRIu64 "\n", | 398 | write_wrapper(write, "%" PRIu8 "\t%" PRIu64 "\n", |
| 401 | i + info.base, info.distribution[i]); | 399 | i + info.base, info.distribution[i]); |
| 402 | } | 400 | } |
| 403 | break; | 401 | break; |
| 404 | case TABLETYPE_SPECIAL: | 402 | case TABLETYPE_SPECIAL: |
| 405 | write("This is an ad-hoc table\n"); | 403 | write_wrapper(write, "This is an ad-hoc table\n"); |
| 406 | break; | 404 | break; |
| 407 | default: | 405 | default: |
| 408 | LOG("datainfo: unknown table type\n"); | 406 | LOG("datainfo: unknown table type\n"); |
| @@ -413,13 +411,13 @@ nissy_datainfo( | |||
| 413 | return nissy_datainfo( | 411 | return nissy_datainfo( |
| 414 | data_size - info.next, (char *)data + info.next, write); | 412 | data_size - info.next, (char *)data + info.next, write); |
| 415 | 413 | ||
| 416 | write("\n---------\n"); | 414 | write_wrapper(write, "\n---------\n"); |
| 417 | 415 | ||
| 418 | return NISSY_OK; | 416 | return NISSY_OK; |
| 419 | } | 417 | } |
| 420 | 418 | ||
| 421 | STATIC long long | 419 | STATIC long long |
| 422 | nissy_dataid(const char *solver, char dataid[static NISSY_DATAID_SIZE]) | 420 | nissy_dataid(const char *solver, char dataid[static NISSY_SIZE_DATAID]) |
| 423 | { | 421 | { |
| 424 | if (!strncmp(solver, "h48", 3)) { | 422 | if (!strncmp(solver, "h48", 3)) { |
| 425 | uint8_t h, k; | 423 | uint8_t h, k; |
| @@ -442,7 +440,7 @@ nissy_dataid(const char *solver, char dataid[static NISSY_DATAID_SIZE]) | |||
| 442 | long long | 440 | long long |
| 443 | nissy_solverinfo( | 441 | nissy_solverinfo( |
| 444 | const char *solver, | 442 | const char *solver, |
| 445 | char dataid[static NISSY_DATAID_SIZE] | 443 | char dataid[static NISSY_SIZE_DATAID] |
| 446 | ) | 444 | ) |
| 447 | { | 445 | { |
| 448 | long long err; | 446 | long long err; |
| @@ -626,7 +624,7 @@ nissy_countmoves( | |||
| 626 | 624 | ||
| 627 | long long | 625 | long long |
| 628 | nissy_setlogger( | 626 | nissy_setlogger( |
| 629 | void (*log)(const char *, ...) | 627 | void (*log)(const char *) |
| 630 | ) | 628 | ) |
| 631 | { | 629 | { |
| 632 | nissy_log = log; | 630 | nissy_log = log; |
