From: Fabian Stemmler <stemmler@in.tum.de>
Date: Sat, 12 Oct 2019 11:17:05 +0000 (+0200)
Subject: toString now returns '-' for BitVectors consisting only of Z
X-Git-Url: https://mograsim.net/gitweb/?a=commitdiff_plain;h=7972ca5e9998fb6bf91de4b1ffd776b46b45af70;hp=7972ca5e9998fb6bf91de4b1ffd776b46b45af70;p=Mograsim.git

toString now returns '-' for BitVectors consisting only of Z
---