def test_try_decide_less_weak(lhs, rhs):
expected = try_decide_less_weak(lhs, rhs)
hypothesis.assume(expected is not None)
assert try_decide_less(lhs, rhs) is expected
def test_try_decide_less_atom(atom):
assert try_decide_less_weak(TOP, atom) is False
assert try_decide_less_weak(atom, BOT) is False
def test_try_decide_less_atom_atom(lhs, rhs):
assert try_decide_less_weak(lhs, rhs) is False
def test_try_decide_less_bot(term):
assert try_decide_less_weak(BOT, term) is True
def test_try_decide_less_join(lhs, rhs):
assert try_decide_less_weak(lhs, join(lhs, rhs)) is True
assert try_decide_less_weak(rhs, join(lhs, rhs)) is True
def test_try_decide_less_reflexive(term):
assert try_decide_less_weak(term, term) is True
def test_try_decide_less_top(term):
assert try_decide_less_weak(term, TOP) is True
def test_try_decide_less_dominating(lhs, rhs):
assert try_decide_less_weak(lhs, rhs) is True
assert try_decide_less_weak(rhs, lhs) is False
def test_try_decide_less_incomparable_terms(lhs, rhs):
assert try_decide_less_weak(lhs, rhs) is False
assert try_decide_less_weak(rhs, lhs) is False
def test_try_decide_less_bot(code):
assert try_decide_less_weak(BOT, code) is True
def test_try_decide_less_top(code):
assert try_decide_less_weak(code, TOP) is True
def test_try_decide_less_reflexive(code):
assert try_decide_less_weak(code, code) is True
