def test_Attack_equality(self):
attack1 = Semantics.Attack(a, [b, c])
attack2 = Semantics.Attack(a, [c, b])
attack3 = Semantics.Attack(a, [b, d])
self.assertTrue(attack1 == attack2)
self.assertFalse(attack1 == attack3)
self.assertFalse(attack2 == attack3)
def test_generate_attacks(self):
baba = ExampleFrameworks.larger_framework()
attacks = Semantics.get_attacks(baba, [b])
self.assertIn(Semantics.Attack(b, set([e, f, g, h])), attacks)
self.assertIn(Semantics.Attack(b, set([e, f, i])), attacks)
self.assertEqual(4, len(attacks))
