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

Generated with cgit - Back to sebastiano.tronto.net