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/solvetest.h | |
| parent | bf3497420c9a12397dc13a34faf3ce3e456f3aa7 (diff) | |
| download | nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.tar.gz nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.zip | |
Fixed table name in tools
Diffstat (limited to '')
| -rw-r--r-- | tools/solvetest.h | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tools/solvetest.h b/tools/solvetest.h index 5939d5d..f9087b7 100644 --- a/tools/solvetest.h +++ b/tools/solvetest.h | |||
| @@ -119,7 +119,7 @@ void run(void) { | |||
| 119 | } | 119 | } |
| 120 | 120 | ||
| 121 | int main(int argc, char **argv) { | 121 | int main(int argc, char **argv) { |
| 122 | char filename[255], dataid[NISSY_SIZE_DATAID]; | 122 | char filename[7+NISSY_SIZE_DATAID], dataid[NISSY_SIZE_DATAID]; |
| 123 | 123 | ||
| 124 | if (argc < 2) { | 124 | if (argc < 2) { |
| 125 | printf("Error: not enough arguments. " | 125 | printf("Error: not enough arguments. " |
| @@ -131,12 +131,11 @@ int main(int argc, char **argv) { | |||
| 131 | srand(time(NULL)); | 131 | srand(time(NULL)); |
| 132 | nissy_setlogger(log_stderr, NULL); | 132 | nissy_setlogger(log_stderr, NULL); |
| 133 | 133 | ||
| 134 | sprintf(filename, "tables/%s", solver); | 134 | size = nissy_solverinfo(solver, dataid); |
| 135 | sprintf(filename, "tables/%s", dataid); | ||
| 135 | if (getdata(solver, &buf, filename) != 0) | 136 | if (getdata(solver, &buf, filename) != 0) |
| 136 | return 1; | 137 | return 1; |
| 137 | 138 | ||
| 138 | size = nissy_solverinfo(solver, dataid); | ||
| 139 | |||
| 140 | timerun(run); | 139 | timerun(run); |
| 141 | 140 | ||
| 142 | free(buf); | 141 | free(buf); |
