aboutsummaryrefslogtreecommitdiff
path: root/tools/302_solve_multisol
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2025-03-14 16:18:29 +0100
committerSebastiano Tronto <sebastiano@tronto.net>2025-03-14 16:18:29 +0100
commit1e1fd628207034b0412c50e289f146d34c5baf71 (patch)
treef21715cf39ef5fcc0a9197b214702fb7d16a1c58 /tools/302_solve_multisol
parentbfb7b1ab9d2c85a256c42c006060ffe7c2652638 (diff)
downloadnissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.tar.gz
nissy-core-1e1fd628207034b0412c50e289f146d34c5baf71.zip
Replaced datasize with solverinfo
Diffstat (limited to 'tools/302_solve_multisol')
-rw-r--r--tools/302_solve_multisol/solve_multisol.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/302_solve_multisol/solve_multisol.c b/tools/302_solve_multisol/solve_multisol.c
index a03c2a0..c6ab685 100644
--- a/tools/302_solve_multisol/solve_multisol.c
+++ b/tools/302_solve_multisol/solve_multisol.c
@@ -39,7 +39,7 @@ void run(void) {
39} 39}
40 40
41int main(int argc, char **argv) { 41int main(int argc, char **argv) {
42 char filename[255]; 42 char filename[255], dataid[NISSY_DATAID_SIZE];
43 43
44 if (argc < 3) { 44 if (argc < 3) {
45 printf("Error: not enough arguments. " 45 printf("Error: not enough arguments. "
@@ -57,7 +57,7 @@ int main(int argc, char **argv) {
57 if (getdata(solver, &buf, filename) != 0) 57 if (getdata(solver, &buf, filename) != 0)
58 return 1; 58 return 1;
59 59
60 size = nissy_datasize(solver); 60 size = nissy_solverinfo(solver, dataid);
61 61
62 timerun(run); 62 timerun(run);
63 63

Generated with cgit - Back to sebastiano.tronto.net