Python run_pushclose_test Examples

Example #1

File: itest_pushclose.py Project: gertjaap/lit

def run_test_forward(env):
    lit1 = env.lits[0]
    lit2 = env.lits[1]
    test_combinators.run_pushclose_test(env, lit1, lit2, lit1)

Example #2

File: itest_pushclose.py Project: gertjaap/lit

def run_test_reverse(env):
    lit1 = env.lits[0]
    lit2 = env.lits[1]
    test_combinators.run_pushclose_test(env, lit1, lit2, lit2)