aboutsummaryrefslogtreecommitdiff
path: root/test/103_gendata_h48_h0
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-07-08 19:22:16 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-07-08 19:22:16 +0200
commitc2275e4b9625a1a19eb50d0880f70ed583d5c358 (patch)
treef1b6798f017dd62ece5b56f05d5c7201ba50ff39 /test/103_gendata_h48_h0
parent66c1c11ec13d362ddfb1b5f6abe8127969c0ad29 (diff)
downloadnissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.tar.gz
nissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.zip
Stats for h48 solver as tool
Diffstat (limited to '')
-rw-r--r--test/103_gendata_h48_h0/00_h_0.in0
-rw-r--r--test/103_gendata_h48_h0/00_h_0.out (renamed from test/103_gendata_h48/00_h_0.out)0
-rw-r--r--test/103_gendata_h48_h0/gendata_h48_tests.c (renamed from test/103_gendata_h48/gendata_h48_tests.c)13
3 files changed, 6 insertions, 7 deletions
diff --git a/test/103_gendata_h48_h0/00_h_0.in b/test/103_gendata_h48_h0/00_h_0.in
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/test/103_gendata_h48_h0/00_h_0.in
diff --git a/test/103_gendata_h48/00_h_0.out b/test/103_gendata_h48_h0/00_h_0.out
index cc5cf9b..cc5cf9b 100644
--- a/test/103_gendata_h48/00_h_0.out
+++ b/test/103_gendata_h48_h0/00_h_0.out
diff --git a/test/103_gendata_h48/gendata_h48_tests.c b/test/103_gendata_h48_h0/gendata_h48_tests.c
index 666f9f6..ed17915 100644
--- a/test/103_gendata_h48/gendata_h48_tests.c
+++ b/test/103_gendata_h48_h0/gendata_h48_tests.c
@@ -2,21 +2,20 @@
2 2
3#define MAXDEPTH 5 3#define MAXDEPTH 5
4#define COCSEPSIZE 1119792 4#define COCSEPSIZE 1119792
5#define ETABLESIZE(h) (((3393 * 495 * 70) >> 1) << (size_t)(h)) 5#define ETABLESIZE ((3393 * 495 * 70) >> 1)
6 6
7size_t gendata_h48(void *, uint8_t, uint8_t); 7size_t gendata_h48h0k4(void *, uint8_t);
8 8
9void run(void) { 9void run(void) {
10 char str[STRLENMAX]; 10 char str[STRLENMAX];
11 uint8_t h, i; 11 uint8_t i;
12 uint32_t *buf, *h48info; 12 uint32_t *buf, *h48info;
13 size_t result; 13 size_t result;
14 14
15 fgets(str, STRLENMAX, stdin); 15 fgets(str, STRLENMAX, stdin);
16 h = atoi(str); 16 buf = (uint32_t *)malloc(sizeof(uint32_t) * 60000000);
17 buf = (uint32_t *)malloc(sizeof(uint32_t) * (60000000 << h)); 17 result = gendata_h48h0k4(buf, MAXDEPTH);
18 result = gendata_h48(buf, h, MAXDEPTH); 18 h48info = buf + (ETABLESIZE + COCSEPSIZE) / 4;
19 h48info = buf + (ETABLESIZE(h) + COCSEPSIZE) / 4;
20 19
21 printf("%zu\n\n", result); 20 printf("%zu\n\n", result);
22 21

Generated with cgit - Back to sebastiano.tronto.net