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 /utils/cubes/solved.txt | |
| 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 'utils/cubes/solved.txt')
0 files changed, 0 insertions, 0 deletions