From c4f64cf2556c0f8597e1fbc19d7c664b8da94612 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Fri, 11 Oct 2024 19:24:15 +0200
Subject: Added buffer sizes in API args

---
 tools/100_checkdata/checkdata.c | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'tools/100_checkdata')

diff --git a/tools/100_checkdata/checkdata.c b/tools/100_checkdata/checkdata.c
index 695a4dd..2005f17 100644
--- a/tools/100_checkdata/checkdata.c
+++ b/tools/100_checkdata/checkdata.c
@@ -12,19 +12,19 @@ run(void) {
 	size = nissy_datasize(solver);
 
 	if (size <= 0) {
-		fprintf(stderr, "Error in datasize\n");
+		printf("Error in datasize\n");
 		return;
 	}
 
 	if ((f = fopen(filename, "rb")) == NULL) {
-		fprintf(stderr, "Error reading file %s\n", filename);
+		printf("Error reading file %s\n", filename);
 		return;
 	}
 
 	buf = malloc(size);
 	fread(buf, size, 1, f);
 	fclose(f);
-	result = nissy_checkdata(solver, buf);
+	result = nissy_checkdata(size, buf);
 	free(buf);
 
 	printf("checkdata %s\n", result == 0 ? "succeeded" : "failed");
@@ -34,7 +34,7 @@ run(void) {
 
 int main(int argc, char **argv) {
 	if (argc < 3) {
-		fprintf(stderr, "Error: not enough arguments. "
+		printf("Error: not enough arguments. "
 		    "A solver and a file name must be given.\n");
 		return 1;
 	}
-- 
cgit v1.3