aboutsummaryrefslogtreecommitdiff
path: root/tools/solvetest.h
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/solvetest.h
parentbf3497420c9a12397dc13a34faf3ce3e456f3aa7 (diff)
downloadnissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.tar.gz
nissy-core-474039de7af2cee7fa309e06a5c4e75b81f220ad.zip
Fixed table name in tools
Diffstat (limited to 'tools/solvetest.h')
-rw-r--r--tools/solvetest.h7
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
121int main(int argc, char **argv) { 121int 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);

Generated with cgit - Back to sebastiano.tronto.net