Skip to content

#1216 UnsignedBddBitVector.sign: small improvements.

Dennis Hendriks requested to merge 1216-unsigned-bit-vector-sign-improve into develop

Small follow-up to !1333 (merged):

  • Need only one bit for the resulting value vectors.
  • 'posOne' -> 'one', as there are no negative values here.

Addresses #1216 (closed)

Merge request reports

Copyright © Eclipse Foundation, Inc. All Rights Reserved.     Privacy Policy | Terms of Use | Copyright Agent