test_generator.py 文件源码

def check_skeletons(tester):
    for goal, gamma, max_k in [d1(), d2(), d3()]:
        log('goal:', goal)
        # gamma.add_internal_pair() # todo uplne smazat až bude fungovat
        g = Generator(gamma)
        for k in range(1, max_k+1):
            log(' k:', k)
            check_successors(tester, g, k, goal)