toString now returns '-' for BitVectors consisting only of Z
authorFabian Stemmler <stemmler@in.tum.de>
Sat, 12 Oct 2019 11:17:05 +0000 (13:17 +0200)
committerFabian Stemmler <stemmler@in.tum.de>
Sat, 12 Oct 2019 11:17:05 +0000 (13:17 +0200)

No differences found