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/301_solve_file/solve_file.c | |
| parent | bf3497420c9a12397dc13a34faf3ce3e456f3aa7 (diff) | |
| download | nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.tar.gz nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.zip | |
Fixed table name in tools
Diffstat (limited to 'tools/301_solve_file/solve_file.c')
| -rw-r--r-- | tools/301_solve_file/solve_file.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c index a1277e3..a8f0925 100644 --- a/tools/301_solve_file/solve_file.c +++ b/tools/301_solve_file/solve_file.c | |||
| @@ -38,7 +38,8 @@ void run(void) { | |||
| 38 | } | 38 | } |
| 39 | 39 | ||
| 40 | int main(int argc, char **argv) { | 40 | int main(int argc, char **argv) { |
| 41 | char filename[255], dataid[NISSY_SIZE_DATAID], *scrfilename; | 41 | char filename[7+NISSY_SIZE_DATAID], dataid[NISSY_SIZE_DATAID]; |
| 42 | char *scrfilename; | ||
| 42 | FILE *scrfile; | 43 | FILE *scrfile; |
| 43 | 44 | ||
| 44 | if (argc < 3) { | 45 | if (argc < 3) { |
| @@ -60,12 +61,11 @@ int main(int argc, char **argv) { | |||
| 60 | srand(time(NULL)); | 61 | srand(time(NULL)); |
| 61 | nissy_setlogger(log_stderr, NULL); | 62 | nissy_setlogger(log_stderr, NULL); |
| 62 | 63 | ||
| 63 | sprintf(filename, "tables/%s", solver); | 64 | size = nissy_solverinfo(solver, dataid); |
| 65 | sprintf(filename, "tables/%s", dataid); | ||
| 64 | if (getdata(solver, &buf, filename) != 0) | 66 | if (getdata(solver, &buf, filename) != 0) |
| 65 | return 1; | 67 | return 1; |
| 66 | 68 | ||
| 67 | size = nissy_solverinfo(solver, dataid); | ||
| 68 | |||
| 69 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { | 69 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { |
| 70 | printf("Error: could not read given file '%s'.\n", | 70 | printf("Error: could not read given file '%s'.\n", |
| 71 | scrfilename); | 71 | scrfilename); |
