def test_empty_contraries(self): baba = ExampleFrameworks.with_no_contraries() contraries = Semantics.contraries(baba, [a, b, c, d, e, f]) self.assertEqual(0, len(contraries))
def test_contraries(self): baba = ExampleFrameworks.valid_BABA_framework() contraries = Semantics.contraries(baba, [b, c]) self.assertIn(d, contraries) self.assertIn(e, contraries) self.assertEqual(2, len(contraries))