diff options
Diffstat (limited to 'tools/300_solve_small/solve_small.c')
| -rw-r--r-- | tools/300_solve_small/solve_small.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/tools/300_solve_small/solve_small.c b/tools/300_solve_small/solve_small.c index 83a712a..af82b80 100644 --- a/tools/300_solve_small/solve_small.c +++ b/tools/300_solve_small/solve_small.c | |||
| @@ -47,7 +47,7 @@ void run(void) { | |||
| 47 | } | 47 | } |
| 48 | 48 | ||
| 49 | int main(int argc, char **argv) { | 49 | int main(int argc, char **argv) { |
| 50 | char filename[255], dataid[NISSY_SIZE_DATAID]; | 50 | char filename[7+NISSY_SIZE_DATAID], dataid[NISSY_SIZE_DATAID]; |
| 51 | 51 | ||
| 52 | if (argc < 2) { | 52 | if (argc < 2) { |
| 53 | printf("Error: not enough arguments. " | 53 | printf("Error: not enough arguments. " |
| @@ -59,13 +59,11 @@ int main(int argc, char **argv) { | |||
| 59 | srand(time(NULL)); | 59 | srand(time(NULL)); |
| 60 | nissy_setlogger(log_stderr, NULL); | 60 | nissy_setlogger(log_stderr, NULL); |
| 61 | 61 | ||
| 62 | 62 | size = nissy_solverinfo(solver, dataid); | |
| 63 | sprintf(filename, "tables/%s", solver); | 63 | sprintf(filename, "tables/%s", dataid); |
| 64 | if (getdata(solver, &buf, filename) != 0) | 64 | if (getdata(solver, &buf, filename) != 0) |
| 65 | return 1; | 65 | return 1; |
| 66 | 66 | ||
| 67 | size = nissy_solverinfo(solver, dataid); | ||
| 68 | |||
| 69 | timerun(run); | 67 | timerun(run); |
| 70 | 68 | ||
| 71 | free(buf); | 69 | free(buf); |
