tree 570c3c54a46b66bf7dea7cb0eba991aada34c083
parent fafde02d26b16bd61e12070c6f35fcbfe44a622a
author margaretha <margaretha@ids-mannheim.de> 1545043406 +0100
committer margaretha <margaretha@ids-mannheim.de> 1545048836 +0100

Added debug flags to improve debugging performance.

Change-Id: I165e643b92a63c36fcfea59a6ff2a50df5076b92