From 41be2d294e5b6f55d485d635065096f274bc89c1 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Fri, 27 Sep 2024 16:37:55 +0200 Subject: 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). --- tools/expected_distributions.h | 8 ++++++++ 1 file changed, 8 insertions(+) (limited to 'tools/expected_distributions.h') 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] = { [12] = 1673, }, }, + [1] = { + [2] = { + [0] = 6012079, + [1] = 45822302, + [2] = 142018732, + [3] = 41281787, + }, + }, }; -- cgit v1.3