aboutsummaryrefslogtreecommitdiff
path: root/tools/300_solve_small
diff options
context:
space:
mode:
Diffstat (limited to 'tools/300_solve_small')
-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