toString now returns '-' for BitVectors consisting only of Z
[Mograsim.git] / logo.png
logo.png