From bc2cba8529a163d129dec91b5ec448a29a14591a Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 26 Sep 2024 15:57:25 +0200
Subject: Added checkdata function

---
 tools/000_gendata/gendata.c | 80 +++++++++++++++++++++++++++++++++++++++++++++
 tools/100_gendata/gendata.c | 80 ---------------------------------------------
 2 files changed, 80 insertions(+), 80 deletions(-)
 create mode 100644 tools/000_gendata/gendata.c
 delete mode 100644 tools/100_gendata/gendata.c

(limited to 'tools')

diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
new file mode 100644
index 0000000..78f81ab
--- /dev/null
+++ b/tools/000_gendata/gendata.c
@@ -0,0 +1,80 @@
+#include "../tool.h"
+
+char *solver, *options;
+uint64_t *expected;
+
+uint64_t expected_h48[12][9][21] = {
+	[0] = {
+		[2] = {
+			[0] = 5473562,
+			[1] = 34776317,
+			[2] = 68566704,
+			[3] = 8750867,
+		},
+		[4] = {
+			[0] = 1,
+			[1] = 1,
+			[2] = 4,
+			[3] = 34,
+			[4] = 331,
+			[5] = 3612,
+			[6] = 41605,
+			[7] = 474128,
+			[8] = 4953846,
+			[9] = 34776317,
+			[10] = 68566704,
+			[11] = 8749194,
+			[12] = 1673,
+		},
+	},
+};
+
+static void
+run(void) {
+	int64_t size;
+	char *buf, filename[1024];
+	
+	getfilename(solver, options, filename);
+	size = generatetable(solver, options, &buf);
+	switch (size) {
+	case -1:
+		return;
+	case -2:
+		goto gendata_run_finish;
+	default:
+		nissy_datainfo(buf, write_stdout);
+		printf("\n");
+		printf("Succesfully generated %" PRId64 " bytes. "
+		       "See above for details on the tables.\n", size);
+
+		writetable(buf, size, filename);
+		break;
+	}
+
+gendata_run_finish:
+	free(buf);
+}
+
+int main(int argc, char **argv) {
+	uint8_t h, k;
+	char description[256];
+
+	if (argc < 3) {
+		fprintf(stderr, "Error: not enough arguments."
+		    "A solver and its options must be given.\n");
+		return 1;
+	}
+
+	solver = argv[1];
+	options = argv[2];
+	parse_h48_options(options, &h, &k, NULL);
+	expected = expected_h48[h][k];
+	sprintf(description, "benchmark gendata_h48 h = %" PRIu8
+	    ", k = %" PRIu8 "", h, k);
+
+	nissy_setlogger(log_stderr);
+
+	timerun(run, description);
+
+	return 0;
+}
diff --git a/tools/100_gendata/gendata.c b/tools/100_gendata/gendata.c
deleted file mode 100644
index 78f81ab..0000000
--- a/tools/100_gendata/gendata.c
+++ /dev/null
@@ -1,80 +0,0 @@
-#include "../tool.h"
-
-char *solver, *options;
-uint64_t *expected;
-
-uint64_t expected_h48[12][9][21] = {
-	[0] = {
-		[2] = {
-			[0] = 5473562,
-			[1] = 34776317,
-			[2] = 68566704,
-			[3] = 8750867,
-		},
-		[4] = {
-			[0] = 1,
-			[1] = 1,
-			[2] = 4,
-			[3] = 34,
-			[4] = 331,
-			[5] = 3612,
-			[6] = 41605,
-			[7] = 474128,
-			[8] = 4953846,
-			[9] = 34776317,
-			[10] = 68566704,
-			[11] = 8749194,
-			[12] = 1673,
-		},
-	},
-};
-
-static void
-run(void) {
-	int64_t size;
-	char *buf, filename[1024];
-	
-	getfilename(solver, options, filename);
-	size = generatetable(solver, options, &buf);
-	switch (size) {
-	case -1:
-		return;
-	case -2:
-		goto gendata_run_finish;
-	default:
-		nissy_datainfo(buf, write_stdout);
-		printf("\n");
-		printf("Succesfully generated %" PRId64 " bytes. "
-		       "See above for details on the tables.\n", size);
-
-		writetable(buf, size, filename);
-		break;
-	}
-
-gendata_run_finish:
-	free(buf);
-}
-
-int main(int argc, char **argv) {
-	uint8_t h, k;
-	char description[256];
-
-	if (argc < 3) {
-		fprintf(stderr, "Error: not enough arguments."
-		    "A solver and its options must be given.\n");
-		return 1;
-	}
-
-	solver = argv[1];
-	options = argv[2];
-	parse_h48_options(options, &h, &k, NULL);
-	expected = expected_h48[h][k];
-	sprintf(description, "benchmark gendata_h48 h = %" PRIu8
-	    ", k = %" PRIu8 "", h, k);
-
-	nissy_setlogger(log_stderr);
-
-	timerun(run, description);
-
-	return 0;
-}
-- 
cgit v1.3