diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-31 13:41:29 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-07-31 13:42:33 +0200 |
| commit | 474039de7af2cee7fa309e06a5c4e75b81f220ad (patch) | |
| tree | 06110ae54ec5806be934bc764c64d8ae47674077 /tools/300_solve_small | |
| parent | bf3497420c9a12397dc13a34faf3ce3e456f3aa7 (diff) | |
| download | nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.tar.gz nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.zip | |
Fixed table name in tools
Diffstat (limited to 'tools/300_solve_small')
| -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); |
