What is `-` on bitvectors?
- on bitvectors?
- operator for bit-vectors is subtraction or unary negation.
- b is equivalent to
0 - b.
This is not the same as complement, which is written as
For example, the
bv5 value equivalent to the natural number
- The complement of this value is
10010, which is
- The negation of this value is
10011, which is
In 2’s complement fixed-bit-width arithmetic,
!x + 1.