aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small/solve_small.c
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-07-31 13:41:29 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2025-07-31 13:42:33 +0200
commit474039de7af2cee7fa309e06a5c4e75b81f220ad (patch)
tree06110ae54ec5806be934bc764c64d8ae47674077 /tools/300_solve_small/solve_small.c
parentbf3497420c9a12397dc13a34faf3ce3e456f3aa7 (diff)
downloadnissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.tar.gz
nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.zip
Fixed table name in tools
Diffstat (limited to 'tools/300_solve_small/solve_small.c')
-rw-r--r--tools/300_solve_small/solve_small.c8
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
49int main(int argc, char **argv) { 49int 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);

Generated with cgit - Back to sebastiano.tronto.net