From 1e1fd628207034b0412c50e289f146d34c5baf71 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 14 Mar 2025 16:18:29 +0100 Subject: Replaced datasize with solverinfo --- tools/100_checkdata/checkdata.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'tools/100_checkdata/checkdata.c') diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c index fe94427..8bc308c 100644 --- a/tools/100_checkdata/checkdata.c +++ b/tools/100_checkdata/checkdata.c @@ -6,13 +6,13 @@ char *solver, *filename; static void run(void) { long long int size, result; - char *buf; + char *buf, dataid[NISSY_DATAID_SIZE]; FILE *f; - size = nissy_datasize(solver); + size = nissy_solverinfo(solver, dataid); if (size <= 0) { - printf("Error in datasize\n"); + printf("Error in solverinfo\n"); return; } -- cgit v1.3