github.com/mit-dci/lit@v0.0.0-20221102210550-8c3d3b49f2ce/test/itest_pushbreak.py (about)

     1  import testlib
     2  import test_combinators
     3  
     4  def forward(env):
     5      lit1 = env.lits[0]
     6      lit2 = env.lits[1]
     7      test_combinators.run_pushbreak_test(env, lit1, lit2, lit1)
     8  
     9  def reverse(env):
    10      lit1 = env.lits[0]
    11      lit2 = env.lits[1]
    12      test_combinators.run_pushbreak_test(env, lit1, lit2, lit2)