diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2025-03-14 16:18:29 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2025-03-14 16:18:29 +0100 |
| commit | 1e1fd628207034b0412c50e289f146d34c5baf71 (patch) | |
| tree | f21715cf39ef5fcc0a9197b214702fb7d16a1c58 /tools/301_solve_file | |
| parent | bfb7b1ab9d2c85a256c42c006060ffe7c2652638 (diff) | |
| download | nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.tar.gz nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.zip | |
Replaced datasize with solverinfo
Diffstat (limited to 'tools/301_solve_file')
| -rw-r--r-- | tools/301_solve_file/solve_file.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/301_solve_file/solve_file.c b/tools/301_solve_file/solve_file.c index fe41bb7..cefc608 100644 --- a/tools/301_solve_file/solve_file.c +++ b/tools/301_solve_file/solve_file.c | |||
| @@ -33,7 +33,7 @@ void run(void) { | |||
| 33 | } | 33 | } |
| 34 | 34 | ||
| 35 | int main(int argc, char **argv) { | 35 | int main(int argc, char **argv) { |
| 36 | char filename[255], *scrfilename; | 36 | char filename[255], dataid[NISSY_DATAID_SIZE], *scrfilename; |
| 37 | FILE *scrfile; | 37 | FILE *scrfile; |
| 38 | 38 | ||
| 39 | if (argc < 3) { | 39 | if (argc < 3) { |
| @@ -52,7 +52,7 @@ int main(int argc, char **argv) { | |||
| 52 | if (getdata(solver, &buf, filename) != 0) | 52 | if (getdata(solver, &buf, filename) != 0) |
| 53 | return 1; | 53 | return 1; |
| 54 | 54 | ||
| 55 | size = nissy_datasize(solver); | 55 | size = nissy_solverinfo(solver, dataid); |
| 56 | 56 | ||
| 57 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { | 57 | if ((scrfile = fopen(scrfilename, "r")) == NULL) { |
| 58 | printf("Error: could not read given file '%s'.\n", | 58 | printf("Error: could not read given file '%s'.\n", |