diff options
Diffstat (limited to 'tools/000_gendata')
| -rw-r--r-- | tools/000_gendata/gendata.c | 29 |
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 | ||
| 3 | char *solver, *options; | 4 | char *solver, *options; |
| 4 | uint64_t *expected; | 5 | uint64_t *expected; |
| 5 | 6 | ||
| 6 | uint64_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 | |||
| 32 | static void | 7 | static void |
| 33 | run(void) { | 8 | run(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 | } |
