:0' ddlZddlmcmZddlZddlZddlm Z m Z ddl m Z ddl mZedeeedfzdeded dfd Zed Zed Zed ZedZedZedZedZy)N)RationalRealInvalidArgument)check_functiontyp.argnamereturnc t||szt|trCt|}d}||k\}|s tjd|fd||fdt j vstjtrtjtnddt j vstj|rtj|ndtj|tj|dz}tjddzd |iz}ttj|dx}x}}d d jd |Dz}n|j}|d k(rddlm} || u} | stjd| fd|| fdt j vstj|rtj|ndd t j vstj| rtj| nd dz} tjddzd| iz} ttj| d} t!d|d|d|dt#|jd y)N)>=)z0%(py3)s {%(py3)s = %(py0)s(%(py1)s) } >= %(py6)slenr)py0py1py3py6z$Use bare type instead of len-1 tuplez >assert %(py8)spy8zone of z, c34K|]}|jyw)N)__name__).0ts c/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/validation.py zcheck_type..s.Gaqzz.GsSearchStrategyr)r)is not)z%(py0)s is not %(py2)s)rpy2zuse check_strategy insteadz >assert %(py4)spy4z Expected z but got =z (type=)) isinstancetupler @pytest_ar_call_reprcompare @py_builtinslocals_should_repr_global_name _saferepr_format_assertmsgAssertionError_format_explanationjoinrhypothesis.strategiesrrtype) rr r @py_assert2 @py_assert5 @py_assert4 @py_format7 @py_format9 typ_stringr @py_assert1 @py_format3 @py_format5s r check_typer8s c3  c5 !s8 Hq H8q= H H H8q H H H H H H3 H H H3 H H H H H Hs H H Hs H H H8 H H Hq H H H"H H H H H H H H"TYY.G3.G%GGJJ--@.0NNNs.NNNNNNsNNNsNNNNNN.NNN.NNNN2NNNNNNN |9TF!C7'$s)BTBTAUUV W   c,|ytt||y)zhChecks that value is either unspecified, or a valid integer. Otherwise raises InvalidArgument. N)r8intvaluer s rcheck_valid_integerr>(s  }sE4 r9c|t|ttfryt|ttj fst |d|dtj|rt d|d|y)zoChecks that value is either unspecified, or a valid interval bound. Otherwise raises InvalidArgument. Nrz must be a real number.zInvalid end point ) r!r;rrdecimalDecimalrmathisnanr<s rcheck_valid_boundrD3so  } 53/: edGOO4 5ay0GHII zz% 24&%CDDr9crt||||dkrt|d|d||dk(r tdyy)zChecks that value is either unspecified, or a non-negative valid interval bound. Otherwise raises InvalidArgument. Nrrz must not be negative. min_magnitudez2Use min_magnitude=0 or omit the argument entirely.)rDrr<s rcheck_valid_magnituderGAsReT" UQYay0FGHH 4?2RSS3r9c |yt||r|S ||S#tttf$r:}t d|d|dt |j d|j |d}~wwxYw)NzCannot convert rz of type z to type )r! TypeError ValueErrorArithmeticErrorrr.r)rr=r errs r try_convertrMOs }% 5z z? 3dV1UIYE{##$Icll^ =  sA)5A$$A)cb||dvrytt|||dkrtd|d|dy)zChecks that value is either unspecified, or a valid non-negative size expressed as an integer. Otherwise raises InvalidArgument. N)min_sizesizerz Invalid size rz < 0)r8r;rr<s rcheck_valid_sizerQ^sF }%99sE4  qy dV1UITBCCr9c F||y||krtd|d|d|d|y)zChecks that lower_bound and upper_bound are either unspecified, or they define a valid interval on the number line. Otherwise raises InvalidArgument. Nz Cannot have rz < r) lower_bound upper_bound lower_name upper_names rcheck_valid_intervalrWlsHk1[ :,a c*Q{o V  !r9cPt|dt|dt||ddy)NrOmax_size)rQrW)rOrYs rcheck_valid_sizesrZ{s$Xz*Xz*8ZDr9)builtinsr%_pytest.assertion.rewrite assertionrewriter#r@rBnumbersrrhypothesis.errorsrhypothesis.internal.coveragerr.r"objectstrr8r>rDrGrMrQrWrZr9rres "-7 D5s++ &    (!! E E T T   D D    EEr9