Actions
Task #9251
closedcalculate type of index for bit-vector arrays
Start date:
08/29/2018
Due date:
% Done:
0%
Estimated time:
Detected in build:
master
Published in build:
Description
Now the index type for bit vector array variables is set to 32-bit.
It should be calculated more precisely.
Actions