aboutsummaryrefslogtreecommitdiff
path: root/shell
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--shell/shell.c14
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
344solverinfo_exec(args_t *args) 344solverinfo_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
782void 782void
783log_stderr(const char *str, ...) 783log_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
792int 788int

Generated with cgit - Back to sebastiano.tronto.net