#!/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:
    if name in known_tests:
        switches, root, lib = known_tests[name]
        cmdline = ['coqtop']
        if switches:
            cmdline.append(switches)
        cmdline.extend(['-rifrom', root, lib])
        res = subprocess.run(cmdline, capture_output=True, stdin=subprocess.DEVNULL)
        if res.returncode == 0:
            print (f'{name:25s} ok')
        else:
            print (f'{name:25s} FAIL')
    else:
        print (f'{name:25s} untested')
