Fixed stack high level state BitVector length (changed 3 to 12)
authorChristian Femers <femers@in.tum.de>
Mon, 2 Sep 2019 01:16:52 +0000 (03:16 +0200)
committerChristian Femers <femers@in.tum.de>
Mon, 2 Sep 2019 01:16:52 +0000 (03:16 +0200)

No differences found