aboutsummaryrefslogtreecommitdiff
path: root/gen/prop/gc
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-04-30 20:08:37 +0200
committerThomas Voss <mail@thomasvoss.com> 2024-04-30 20:08:37 +0200
commit34c55c4d07af131c9da06c367ac2958a6090f2a3 (patch)
tree2d0fe61b618928feb3a0fffa031e9285a816f0cd /gen/prop/gc
parent04e8ee70d94a579f1d24aaa80e9341c9000d2dec (diff)
Add more 2-stage lookup tables
Diffstat (limited to 'gen/prop/gc')
-rwxr-xr-xgen/prop/gc4
1 files changed, 3 insertions, 1 deletions
diff --git a/gen/prop/gc b/gen/prop/gc
index f37cb4b..cc4d35b 100755
--- a/gen/prop/gc
+++ b/gen/prop/gc
@@ -77,7 +77,7 @@ def main() -> None:
if bs > len(xs):
break
Cs = [tuple(x) for x in chunks(xs, bs)]
- cs = list(dict.fromkeys(Cs))
+ cs = set(Cs)
sz_s1 = len(Cs) * isize(len(cs) - 1)
sz_s2 = len(cs) * bs * 4
@@ -90,5 +90,7 @@ def main() -> None:
Cs = [tuple(x) for x in chunks(xs, blksize)]
genfile(Cs, blksize)
+ report_size(len(xs), smallest)
+
if __name__ == '__main__':
main()