diff options
| author | Sebastiano Tronto <sebastiano@tronto.net> | 2024-09-27 16:37:55 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano@tronto.net> | 2024-09-27 16:37:55 +0200 |
| commit | 41be2d294e5b6f55d485d635065096f274bc89c1 (patch) | |
| tree | d1906840307eedc503e66f6aebf746717f57d1ed /tools/expected_distributions.h | |
| parent | 15fe089b3e625cb6d3a19dee661f4fc9c6224699 (diff) | |
| download | nissy-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.h | 8 |
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 | }; |
