Actions
Task #5462
closed[arrays] arrays initialization is inconvenient
Start date:
12/04/2014
Due date:
% Done:
100%
Estimated time:
Detected in build:
svn
Published in build:
141226
Description
There is only one way for array to be initialized - by constructing SMT-LIB strings like "((key_1:value_1)...(key_n:value_n))".
It is inconvenient because an additional work is needed here to translate an array into such string format.
More suitable methods are needed here (for example, look at methods for LOGIC_INTEGER/LOGIC_BOOLEAN types an so on).
Actions