h48

commit ebe1ef1d2d63c245fb203878d8309f1808d75c42
parent 59b8f818c7d2e62933df41ede266b05687fd7ab1
Author: Sebastiano Tronto <sebastiano@tronto.net>
Date:   Mon, 14 Oct 2024 16:02:03 +0200

Fix gendata

Diffstat:
M
tools/tool.h
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/tools/tool.h b/tools/tool.h
@@ -91,7 +91,7 @@ generatetable(const char *solver, char **buf)
 	long long int size, gensize;
 
 	size = nissy_datasize(solver);
-	if (size == -1) {
+	if (size < 0) {
 		printf("Error getting table size.\n");
 		return -1;
 	}
@@ -101,7 +101,7 @@ generatetable(const char *solver, char **buf)
 
 	if (gensize != size) {
 		printf("Error generating table");
-		if (gensize != -1)
+		if (gensize == NISSY_OK)
 			printf(" (got %lld bytes)", gensize);
 		printf("\n");
 		return -2;