[solver] boolean expressions casting into bit vectors
Detected in build:
Published in build:
Updated by Sergey Smolov about 5 years ago
- Subject changed from [solver] boolean numbers casting into bit vectors to [solver] boolean expressions casting into bit vectors
- Assignee set to Andrei Tatarnikov
- Target version set to 0.3
At solver level it is needed to cast boolean expressions to bit vectors of size 1 only when operation code is "of bitvector-defined category", like BVAND, BVOR and so on.
Otherwise, do nothing.