Lines Matching refs:constraints

121 def selector(current, constraints, validate=int_validator):  argument
139 fuzz_values = [iter_validate(c) for c in constraints]
163 constraints = UINT32_V + [
167 return selector(current, constraints)
172 constraints = UINT64_V
173 return selector(current, constraints)
178 constraints = UINT32_V
179 return selector(current, constraints)
184 constraints = UINT32_V + [
188 return selector(current, constraints)
193 constraints = UINT64_V
194 return selector(current, constraints)
199 constraints = UINT32_V + [
203 return selector(current, constraints)
208 constraints = UINT32_V
209 return selector(current, constraints)
214 constraints = UINT64_V
215 return selector(current, constraints)
220 constraints = UINT64_V
221 return selector(current, constraints)
226 constraints = UINT32_V
227 return selector(current, constraints)
232 constraints = UINT32_V
233 return selector(current, constraints)
238 constraints = UINT64_V
239 return selector(current, constraints)
244 constraints = [
248 return selector(current, constraints, bit_validator)
253 constraints = [
256 return selector(current, constraints, bit_validator)
261 constraints = [
264 return selector(current, constraints, bit_validator)
269 constraints = UINT32_V
270 return selector(current, constraints)
275 constraints = UINT32_V + [
280 return selector(current, constraints)
285 constraints = [
288 return selector(current, constraints, bytes_validator)
293 constraints = UINT32_V
294 return selector(current, constraints)
299 constraints = UINT32_V
300 return selector(current, constraints)
305 constraints = [
309 return selector(current, constraints, bytes_validator)
314 constraints = UINT8_V
315 return selector(current, constraints)
320 constraints = UINT8_V
321 return selector(current, constraints)
326 constraints = [
330 return selector(current, constraints, bytes_validator)
335 constraints = UINT64_V
339 random.choice([selector(current, constraints), current])
346 constraints = UINT64_V
350 random.choice([selector(current, constraints), current])
361 constraints = UINT64_V
362 return selector(current, constraints)
367 constraints = UINT16_V
368 return selector(current, constraints)