Adopted tests to new BitVector and improved labeling
authorChristian Femers <femers@in.tum.de>
Thu, 11 Jul 2019 19:56:11 +0000 (21:56 +0200)
committerChristian Femers <femers@in.tum.de>
Thu, 11 Jul 2019 19:56:11 +0000 (21:56 +0200)

No differences found