Home | History | Annotate | Download | only in tools

Lines Matching refs:split

335           result, stddev = map(str.strip, match_stddev.group(1).split(","))
338 results = map(str.strip, match_list.group(1).split(","))
614 self.extra_flags = options.extra_flags.split()
894 r = map(int, indexes.split("-"))