(self, stack_values)
return " .. ".join(strings)
Convert each stack value to a string

        :param stack_values: A list of values
        :return: The converted string
Convert each stack value to a string
Convert each stack value to a string
def _stack_values_to_string(self, stack_values):
        """
        Convert each stack value to a string

        :param stack_values: A list of values
        :return: The converted string
        """

        strings = [ ]
        for stack_value in stack_values:
            if self.solver.symbolic(stack_value):
                concretized_value = "SYMBOLIC - %s" % repr(stack_value)
            else:
                if len(self.solver.eval_upto(stack_value, 2)) == 2:
                    concretized_value = repr(stack_value)
                else:
                    concretized_value = repr(stack_value)
            strings.append(concretized_value)

        return " .. ".join(strings)
def _stack_values_to_string ( self , stack_values ) : strings = [ ] for stack_value in stack_values : if self . solver . symbolic ( stack_value ) : concretized_value = "SYMBOLIC - %s" % repr ( stack_value ) else : if len ( self . solver . eval_upto ( stack_value , 2 ) ) == 2 : concretized_value = repr ( stack_value ) else : concretized_value = repr ( stack_value ) strings . append ( concretized_value ) return " .. " . join ( strings )