#!/usr/bin/python3

import os
import tempfile
from subprocess import run

from coq_packages import *

tmpdir = tempfile.TemporaryDirectory()
empty = os.path.join(tmpdir.name, 'empty.v')
empty_create = open(empty, 'w')

names = []
[names.extend(group) for group in group_by (known_sources, hauteur)]

for name in names:
    root, lib = known_tests[name]
    res = run(['coqc', '-rifrom', root, lib, empty], capture_output=True)
    if res.returncode == 0:
        print (f'{name:25s} ok')
    else:
        print (f'{name:25s} FAIL')
