20 lines · python
1# Helper script for distinct metadata reduction test2 3import sys4import re5 6input = open(sys.argv[1], "r").read().splitlines()7 8depth_map = {"0": 1, "1": 3, "2": 3, "3": 2, "4": 1}9 10 11for i in range(len(depth_map)):12 counter = 013 for line in input:14 if re.match(rf".*interesting_{i}.*", line) != None:15 counter += 116 if counter != depth_map[str(i)]:17 sys.exit(1)18 19sys.exit(0)20