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