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))