bvFrom function

BitVecNumeral bvFrom(int value, [ int size = 64 ])

Creates a BitVecNumeral from an int value.

Implementation

BitVecNumeral bvFrom(int value, [int size = 64]) =>
    BitVecNumeral.from(value, size: size);