renamed Array test case read_value_t to read_value_from_select
renamed Array test case read_value_t to read_value_from_select

agra-uni-bremen/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,nbruns1/metaSMT,nbruns1/metaSMT