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/400_solvetest/solve_test.c | |
| parent | bfb7b1ab9d2c85a256c42c006060ffe7c2652638 (diff) | |
| download | nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.tar.gz nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.zip | |
Replaced datasize with solverinfo
Diffstat (limited to 'tools/400_solvetest/solve_test.c')
| -rw-r--r-- | tools/400_solvetest/solve_test.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/400_solvetest/solve_test.c b/tools/400_solvetest/solve_test.c index 9b6c094..a98be26 100644 --- a/tools/400_solvetest/solve_test.c +++ b/tools/400_solvetest/solve_test.c | |||
| @@ -94,7 +94,7 @@ void run(void) { | |||
| 94 | } | 94 | } |
| 95 | 95 | ||
| 96 | int main(int argc, char **argv) { | 96 | int main(int argc, char **argv) { |
| 97 | char filename[255]; | 97 | char filename[255], dataid[NISSY_DATAID_SIZE]; |
| 98 | 98 | ||
| 99 | if (argc < 2) { | 99 | if (argc < 2) { |
| 100 | printf("Error: not enough arguments. " | 100 | printf("Error: not enough arguments. " |
| @@ -110,7 +110,7 @@ int main(int argc, char **argv) { | |||
| 110 | if (getdata(solver, &buf, filename) != 0) | 110 | if (getdata(solver, &buf, filename) != 0) |
| 111 | return 1; | 111 | return 1; |
| 112 | 112 | ||
| 113 | size = nissy_datasize(solver); | 113 | size = nissy_solverinfo(solver, dataid); |
| 114 | 114 | ||
| 115 | timerun(run); | 115 | timerun(run); |
| 116 | 116 | ||
