diff options
Diffstat (limited to 'tools/500_pause_resume_stop')
| -rw-r--r-- | tools/500_pause_resume_stop/pause_resume_stop.c | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/tools/500_pause_resume_stop/pause_resume_stop.c b/tools/500_pause_resume_stop/pause_resume_stop.c index ae3b67f..8beee5c 100644 --- a/tools/500_pause_resume_stop/pause_resume_stop.c +++ b/tools/500_pause_resume_stop/pause_resume_stop.c | |||
| @@ -65,7 +65,7 @@ void run(void) { | |||
| 65 | } | 65 | } |
| 66 | 66 | ||
| 67 | int main(int argc, char **argv) { | 67 | int main(int argc, char **argv) { |
| 68 | char filename[255], dataid[NISSY_SIZE_DATAID]; | 68 | char filename[7+NISSY_SIZE_DATAID], dataid[NISSY_SIZE_DATAID]; |
| 69 | 69 | ||
| 70 | if (argc < 2) { | 70 | if (argc < 2) { |
| 71 | printf("Error: not enough arguments. " | 71 | printf("Error: not enough arguments. " |
| @@ -76,12 +76,11 @@ int main(int argc, char **argv) { | |||
| 76 | srand(time(NULL)); | 76 | srand(time(NULL)); |
| 77 | nissy_setlogger(log_stderr, NULL); | 77 | nissy_setlogger(log_stderr, NULL); |
| 78 | 78 | ||
| 79 | sprintf(filename, "tables/%s", solver); | 79 | size = nissy_solverinfo(solver, dataid); |
| 80 | sprintf(filename, "tables/%s", dataid); | ||
| 80 | if (getdata(solver, &buf, filename) != 0) | 81 | if (getdata(solver, &buf, filename) != 0) |
| 81 | return 1; | 82 | return 1; |
| 82 | 83 | ||
| 83 | size = nissy_solverinfo(solver, dataid); | ||
| 84 | |||
| 85 | timerun(run); | 84 | timerun(run); |
| 86 | 85 | ||
| 87 | free(buf); | 86 | free(buf); |
