toString now returns '-' for BitVectors consisting only of Z
[Mograsim.git] / products /
drwxr-xr-x   ..
drwxr-xr-x - net.mograsim.product