| # Helper script for distinct metadata reduction test | |
| import sys | |
| import re | |
| input = open(sys.argv[1], "r").read().splitlines() | |
| depth_map = {"0": 1, "1": 3, "2": 3, "3": 2, "4": 1} | |
| for i in range(len(depth_map)): | |
| counter = 0 | |
| for line in input: | |
| if re.match(rf".*interesting_{i}.*", line) != None: | |
| counter += 1 | |
| if counter != depth_map[str(i)]: | |
| sys.exit(1) | |
| sys.exit(0) |