From 91f912176045fd2f95fd45a0e12354e390dff219 Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano@tronto.net>
Date: Thu, 26 Sep 2024 17:07:02 +0200
Subject: Added checkdata tool

---
 tools/000_gendata/gendata.c | 29 ++---------------------------
 1 file changed, 2 insertions(+), 27 deletions(-)

(limited to 'tools/000_gendata')

diff --git a/tools/000_gendata/gendata.c b/tools/000_gendata/gendata.c
index 78f81ab..90166dd 100644
--- a/tools/000_gendata/gendata.c
+++ b/tools/000_gendata/gendata.c
@@ -1,34 +1,9 @@
 #include "../tool.h"
+#include "../expected_distributions.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;
@@ -60,7 +35,7 @@ int main(int argc, char **argv) {
 	char description[256];
 
 	if (argc < 3) {
-		fprintf(stderr, "Error: not enough arguments."
+		fprintf(stderr, "Error: not enough arguments. "
 		    "A solver and its options must be given.\n");
 		return 1;
 	}
-- 
cgit v1.3