tree c0ca697de5483f1f00283478856c5b58d5e77a0c
parent 7fd32923479b54b5e6e45f8f6053ef2ac60920f0
author margaretha <margaretha@ids-mannheim.de> 1493310954 +0200
committer margaretha <margaretha@ids-mannheim.de> 1493311239 +0200

Altered dominance serialization & added tests.

Change-Id: I7b03f804d48230157fa0b6c296ba130b6eb0da41