[Solver:STP] Fix handling of array names

Array names used for STP queries used to be restricted to 32 characters,
with the last characters replaced by a unique number.

Similarly, an array is made unique by `klee_make_symbolic`.

Unfortunately, both combined can lead to the generation of the same STP array name for different arrays.
This leads to wrong queries with invalid results.

This is more likely be triggered with longer names for `klee_make_symbolic`

Fixes #1257

0 files changed, 0 insertions, 0 deletions