HomeSort by relevance Sort by last modified time
    Searched refs:numeric_flag_match (Results 1 - 5 of 5) sorted by null

  /external/toolchain-utils/bestflags/
flags_util.py 42 numeric_flag_match = flags.Search(climb_spec)
48 if numeric_flag_match:
51 int(numeric_flag_match.group('start')))
59 if not numeric_flag_match:
75 if value + 1 < int(numeric_flag_match.group('end')):
82 if value > int(numeric_flag_match.group('start')):
testing_batch.py 58 numeric_flag_match = flags.Search(spec)
59 if numeric_flag_match:
61 start = int(numeric_flag_match.group('start'))
62 end = int(numeric_flag_match.group('end'))
92 numeric_flag_match = flags.Search(spec)
94 if numeric_flag_match:
95 value = (int(numeric_flag_match.group('end')) - 1)
162 numeric_flag_match = flags.Search(other_spec)
167 if numeric_flag_match:
168 end = int(numeric_flag_match.group('end')
    [all...]
iterative_elimination.py 60 numeric_flag_match = flags.Search(spec)
62 if numeric_flag_match:
69 if val == int(numeric_flag_match.group('start')):
flags.py 101 numeric_flag_match = Search(spec)
105 if numeric_flag_match:
106 start = int(numeric_flag_match.group('start'))
107 end = int(numeric_flag_match.group('end'))
genetic_algorithm.py 63 numeric_flag_match = flags.Search(spec)
67 if not numeric_flag_match:
74 if value + 1 < int(numeric_flag_match.group('end')):
82 if value != int(numeric_flag_match.group('start')) - 1:

Completed in 101 milliseconds