BV constants over 64 bits don't seem to work

[r4dr3fr4d]

#303/#304 don't seem to work for values over ULONG_MAX.

In [5]: c = s.bitvecvalD(72, str(0xaa00000000000000bb))

In [6]: hex(c.value)
Out[6]: '0xffffffffffffffff'

Am I doing something wrong?

[aytey]

I assume you're referring to over the Python API and not (e.g.,) the STP binary?

My guess (and I haven't checked): c.value is a long and we need some arbitrary length type to support returning values such as these.

Would a string work (maybe)?

[r4dr3fr4d]

Yes I'm using the Python API.

[aytey]

Okay, so "behind the scenes", this ends-up using getBVUnsignedLongLong (which gives a c_uint64), which is the cause of the issue.

As I mentioned, would a string be okay for this?

[r4dr3fr4d]

That would probably be fine - if I had been around for #303, I'd probably suggest using a byte-string instead, but either would work I imagine.