tree 8ef5992bfbe97d2b38faeab3e1af5fe8f13b1cbc
parent 8b964be1f482fc3dce03057c871b5113baef1421
author margaretha <margaretha@ids-mannheim.de> 1498554512 +0200
committer margaretha <margaretha@ids-mannheim.de> 1498554976 +0200

Ignore some tests.

Change-Id: I560c378c038546d83bf0573194ac8310082e24f2