Add test for issue 573, child with compiler not respected in concretization

This commit is contained in:
Matthew LeGendre 2016-03-21 14:28:34 -07:00
parent b79fce76cb
commit 5d06daeb5e

View file

@ -309,3 +309,10 @@ def test_find_spec_none(self):
Spec('d')),
Spec('e'))
self.assertEqual(None, find_spec(s['b'], lambda s: '+foo' in s))
def test_compiler_child(self):
s = Spec('mpileaks%clang ^dyninst%gcc')
s.concretize()
self.assertTrue(s['mpileaks'].satisfies('%clang'))
self.assertTrue(s['dyninst'].satisfies('%gcc'))