tree 2e11cd2967e33930e521d366075cbb71d70a5e09
parent 698d95307b65ae9f3607d35774330e5f2d0fc8a9
author margaretha <margaretha@ids-mannheim.de> 1498554512 +0200
committer margaretha <margaretha@ids-mannheim.de> 1498581662 +0200

Ignore some tests.

Change-Id: I560c378c038546d83bf0573194ac8310082e24f2