Actions
Task #5464
closed[solver] boolean expressions casting into bit vectors
Start date:
12/04/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
141226
Actions
Added by Sergey Smolov almost 10 years ago. Updated almost 10 years ago.
100%
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.
Done in r722.