def test_value_when_not_negated_sets_value(): a = Bool("a") lit = Literal(a, negated = False) assert lit.value(False) == False
def test_value_when_negated_sets_value_to_negation(): a = Bool("a") lit = Literal(a, negated = True) assert lit.value(False) == True