# 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)