diff options
Diffstat (limited to 'gen/prop/bool-props.py')
| -rwxr-xr-x | gen/prop/bool-props.py | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gen/prop/bool-props.py b/gen/prop/bool-props.py index c0f9d05..62cfe74 100755 --- a/gen/prop/bool-props.py +++ b/gen/prop/bool-props.py @@ -86,7 +86,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 @@ -99,5 +99,8 @@ def main() -> None: Cs = [tuple(x) for x in chunks(xs, blksize)] genfile(Cs, blksize) + sys.argv[0] = sys.argv[2] + report_size(len(xs), smallest) + if __name__ == '__main__': main() |