diff options
Diffstat (limited to '')
| -rw-r--r-- | shell/shell.c | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/shell/shell.c b/shell/shell.c index 4b354c6..6b349e5 100644 --- a/shell/shell.c +++ b/shell/shell.c | |||
| @@ -344,7 +344,7 @@ static int64_t | |||
| 344 | solverinfo_exec(args_t *args) | 344 | solverinfo_exec(args_t *args) |
| 345 | { | 345 | { |
| 346 | int64_t ret; | 346 | int64_t ret; |
| 347 | char buf[NISSY_DATAID_SIZE]; | 347 | char buf[NISSY_SIZE_DATAID]; |
| 348 | 348 | ||
| 349 | ret = nissy_solverinfo(args->str_solver, buf); | 349 | ret = nissy_solverinfo(args->str_solver, buf); |
| 350 | if (ret < 0) | 350 | if (ret < 0) |
| @@ -359,7 +359,7 @@ gendata_exec(args_t *args) | |||
| 359 | { | 359 | { |
| 360 | int i; | 360 | int i; |
| 361 | FILE *file; | 361 | FILE *file; |
| 362 | char *buf, path[MAX_PATH_LENGTH], dataid[NISSY_DATAID_SIZE]; | 362 | char *buf, path[MAX_PATH_LENGTH], dataid[NISSY_SIZE_DATAID]; |
| 363 | int64_t ret, size; | 363 | int64_t ret, size; |
| 364 | size_t written; | 364 | size_t written; |
| 365 | 365 | ||
| @@ -427,7 +427,7 @@ solve_exec(args_t *args) | |||
| 427 | uint8_t nissflag; | 427 | uint8_t nissflag; |
| 428 | FILE *file; | 428 | FILE *file; |
| 429 | char *buf, solutions[SOLUTIONS_BUFFER_SIZE], path[MAX_PATH_LENGTH]; | 429 | char *buf, solutions[SOLUTIONS_BUFFER_SIZE], path[MAX_PATH_LENGTH]; |
| 430 | char dataid[NISSY_DATAID_SIZE]; | 430 | char dataid[NISSY_SIZE_DATAID]; |
| 431 | long long stats[NISSY_SIZE_SOLVE_STATS]; | 431 | long long stats[NISSY_SIZE_SOLVE_STATS]; |
| 432 | int64_t ret, gendata_ret, size; | 432 | int64_t ret, gendata_ret, size; |
| 433 | size_t read; | 433 | size_t read; |
| @@ -780,13 +780,9 @@ set_threads(int argc, char **argv, args_t *args) | |||
| 780 | } | 780 | } |
| 781 | 781 | ||
| 782 | void | 782 | void |
| 783 | log_stderr(const char *str, ...) | 783 | log_stderr(const char *str) |
| 784 | { | 784 | { |
| 785 | va_list args; | 785 | fprintf(stderr, "%s", str); |
| 786 | |||
| 787 | va_start(args, str); | ||
| 788 | vfprintf(stderr, str, args); | ||
| 789 | va_end(args); | ||
| 790 | } | 786 | } |
| 791 | 787 | ||
| 792 | int | 788 | int |
