Lut bitvector constructor not supported by SMTBitVector

[rdaly525]

in lut.py: 16 dynamically constructing a new bitvector out of an array of Bits is not supported.

@cdonovick, is this something you want to support, or is there a better way to write this code?

[cdonovick]

I should support this but do not yet, is this blocking?

[rdaly525]

This feature has been added and is in use in sim.py