aboutsummaryrefslogtreecommitdiff
path: root/test
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
parent66c1c11ec13d362ddfb1b5f6abe8127969c0ad29 (diff)
downloadnissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.tar.gz
nissy-core-c2275e4b9625a1a19eb50d0880f70ed583d5c358.zip
Stats for h48 solver as tool
Diffstat (limited to 'test')
-rw-r--r--test/103_gendata_h48/00_h_0.in1
-rw-r--r--test/103_gendata_h48/01_h_1.in1
-rw-r--r--test/103_gendata_h48/01_h_1.out23
-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
6 files changed, 6 insertions, 32 deletions
diff --git a/test/103_gendata_h48/00_h_0.in b/test/103_gendata_h48/00_h_0.in
deleted file mode 100644
index 573541a..0000000
--- a/test/103_gendata_h48/00_h_0.in
+++ /dev/null
@@ -1 +0,0 @@
10
diff --git a/test/103_gendata_h48/01_h_1.in b/test/103_gendata_h48/01_h_1.in
deleted file mode 100644
index d00491f..0000000
--- a/test/103_gendata_h48/01_h_1.in
+++ /dev/null
@@ -1 +0,0 @@
11
diff --git a/test/103_gendata_h48/01_h_1.out b/test/103_gendata_h48/01_h_1.out
deleted file mode 100644
index bd0931c..0000000
--- a/test/103_gendata_h48/01_h_1.out
+++ /dev/null
@@ -1,23 +0,0 @@
1118687330
2
3cocsepdata:
4Classes: 3393
5Max value: 9
60: 1
71: 6
82: 63
93: 468
104: 3068
115: 15438
126: 53814
137: 71352
148: 8784
159: 96
16
17h48:
180: 1
191: 1
202: 4
213: 34
224: 375
235: 4078
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