prjxray/fuzzers/052-clkin/maketodo.py

22 lines
656 B
Python

#!/usr/bin/env python3
import os, re
def maketodo(pipfile, dbfile):
todos = set()
with open(pipfile, "r") as f:
for line in f:
line = line.split()
todos.add(line[0])
with open(dbfile, "r") as f:
for line in f:
line = line.split()
todos.remove(line[0])
for line in todos:
if re.match(r"^INT_[LR].CLK", line):
print(line)
maketodo("pips_int_l.txt", "%s/%s/segbits_int_l.db" % (os.getenv("XRAY_DATABASE_DIR"), os.getenv("XRAY_DATABASE")))
maketodo("pips_int_r.txt", "%s/%s/segbits_int_r.db" % (os.getenv("XRAY_DATABASE_DIR"), os.getenv("XRAY_DATABASE")))