#!/usr/bin/python3

import os
import subprocess

from coq_packages import *

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

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