aboutsummaryrefslogtreecommitdiff
path: root/tools/000_gendata
diff options
context:
space:
mode:
Diffstat (limited to 'tools/000_gendata')
-rw-r--r--tools/000_gendata/gendata.c29
1 files changed, 2 insertions, 27 deletions
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 @@
1#include "../tool.h" 1#include "../tool.h"
2#include "../expected_distributions.h"
2 3
3char *solver, *options; 4char *solver, *options;
4uint64_t *expected; 5uint64_t *expected;
5 6
6uint64_t expected_h48[12][9][21] = {
7 [0] = {
8 [2] = {
9 [0] = 5473562,
10 [1] = 34776317,
11 [2] = 68566704,
12 [3] = 8750867,
13 },
14 [4] = {
15 [0] = 1,
16 [1] = 1,
17 [2] = 4,
18 [3] = 34,
19 [4] = 331,
20 [5] = 3612,
21 [6] = 41605,
22 [7] = 474128,
23 [8] = 4953846,
24 [9] = 34776317,
25 [10] = 68566704,
26 [11] = 8749194,
27 [12] = 1673,
28 },
29 },
30};
31
32static void 7static void
33run(void) { 8run(void) {
34 int64_t size; 9 int64_t size;
@@ -60,7 +35,7 @@ int main(int argc, char **argv) {
60 char description[256]; 35 char description[256];
61 36
62 if (argc < 3) { 37 if (argc < 3) {
63 fprintf(stderr, "Error: not enough arguments." 38 fprintf(stderr, "Error: not enough arguments. "
64 "A solver and its options must be given.\n"); 39 "A solver and its options must be given.\n");
65 return 1; 40 return 1;
66 } 41 }

Generated with cgit - Back to sebastiano.tronto.net