def test_with_duplicates(self):
"""
Test removing duplicates. Result must be duplicates removed.
"""
formula = [bf.Var("b"), bf.Var("a"), bf.Var("b"), bf.Var("c"), bf.Var("a"), bf.Tru(), bf.Fls(), bf.Var("c")]
result = [bf.Fls(), bf.Tru(), bf.Var("a"), bf.Var("b"), bf.Var("c")]
self.assertEqual(
result, au.remove_duplicates(formula), "Invalid replacement, expected the same as specified by result."
)
def test_with_no_duplicates(self):
"""
Test removing values that do not contain duplicates. Result must be the same as the input.
"""
formula = [bf.Var("b"), bf.Var("a")]
result = [bf.Var("a"), bf.Var("b")]
self.assertEqual(
result, au.remove_duplicates(formula), "Invalid removal, expected the same as specified by result."
)
def test_with_empty_list(self):
"""
Test removing duplicates from an empty list. Result must be empty list ([]).
"""
self.assertEqual([], au.remove_duplicates([]), "Invalid removal, expected [].")
