aboutsummaryrefslogtreecommitdiff
path: root/tools/expected_distributions.h
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-09-27 16:37:55 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-09-27 16:37:55 +0200
commit41be2d294e5b6f55d485d635065096f274bc89c1 (patch)
treed1906840307eedc503e66f6aebf746717f57d1ed /tools/expected_distributions.h
parent15fe089b3e625cb6d3a19dee661f4fc9c6224699 (diff)
downloadnissy-core-41be2d294e5b6f55d485d635065096f274bc89c1.tar.gz
nissy-core-41be2d294e5b6f55d485d635065096f274bc89c1.zip
Made table derivation tool more flexible
So apparently my RAM is broken. That took me a while to figure out. While I get a replacement, I have to restrict myself to a weaker test for the intermediate tables: instead of deriving them from the huge table and checking that they are the same, I have to derive a small h0k2 table from the intermediate ones and check that it is correct. This is not a 100% proof of correctness, but it is good enough (and much faster).
Diffstat (limited to 'tools/expected_distributions.h')
-rw-r--r--tools/expected_distributions.h8
1 files changed, 8 insertions, 0 deletions
diff --git a/tools/expected_distributions.h b/tools/expected_distributions.h
index 27bd64a..535cab2 100644
--- a/tools/expected_distributions.h
+++ b/tools/expected_distributions.h
@@ -22,4 +22,12 @@ uint64_t expected_h48[12][9][21] = {
22 [12] = 1673, 22 [12] = 1673,
23 }, 23 },
24 }, 24 },
25 [1] = {
26 [2] = {
27 [0] = 6012079,
28 [1] = 45822302,
29 [2] = 142018732,
30 [3] = 41281787,
31 },
32 },
25}; 33};

Generated with cgit - Back to sebastiano.tronto.net