Commit 993943a7 authored by Michael Sammler's avatar Michael Sammler
Browse files

destructive_gen_data for python 3.5

parent 33fc2ab4
Pipeline #42745 passed with stage
in 28 minutes and 54 seconds
......@@ -117,7 +117,7 @@ def parse_file(f):
def compute_annots(FILES, global_rules):
total = {}
o = subprocess.check_output(["tokei", "--output=json", "--files"] + FILES)
o = subprocess.check_output(["tokei", "--output=json", "--files"] + FILES).decode("utf8")
# print(o)
inner = json.loads(o)
if "CHeader" not in inner:
......@@ -162,7 +162,7 @@ def compute_annots(FILES, global_rules):
shutil.copyfile(f, tmpname)
with open(f, "a") as fd:
fd.write("//@rc::import enable_debug from refinedc.typing.automation\n")
fd.write(f"//@rc::inlined Definition marker_{random.randint(0, 1000)} := tt.\n")
fd.write("//@rc::inlined Definition marker_{} := tt.\n".format(random.randint(0, 1000)))
subprocess.check_output(["dune", "exec", "--", "refinedc", "check", "--no-build", f])
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment