
    F\h	                         S SK Jr  S SKrS SKr/ SQrSSKJr  S rS rS r	S	 r
S
 rS r " S S\5      r " S S\5      r " S S\5      rg)    )EnumN)	givenexampleassumerejectregister_random
strategiesHealthChecksettings	Verbosity   )r	   c                      S nU$ )Nc                    ^ ^ [        T S/ 5      =m(       a!  [        R                  " T 5      UU 4S j5       nO[        R                  " S5      " T 5      nSUl        U$ )N	_examplesc                    > T H,  u  pU R                   " U0 UD6   T" U /UQ70 UD6  S S S 5        M.     g ! , (       d  f       M@  = fN)subTest)selfexample_argsexample_kwargsexamplesfs      >/usr/lib/python3.13/test/support/_hypothesis_stubs/__init__.pytest_function/given.<locals>.decorator.<locals>.test_function   sC    4<0L|F~F$@@@ GF 5=FFs	   5
A	z@Hypothesis required for property test with no specified examplesT)getattr	functoolswrapsunittestskip_given)r   r   r   s   ` @r   	decoratorgiven.<locals>.decorator   sc    q+r2282__QA  A %MM% M
  $     )_args_kwargsr"   s      r   r   r      s    * r$   c                  ^   ^ ^ [        T 5      [        T5      :X  a  [        S5      eU U4S jnU$ )Nz-Must specify exactly one of *args or **kwargsc                    > [        U SU 5      n[        US5      (       d  / Ul        UR                  R                  TT45        [        U SS5      (       a  [	        5       " U5      n U $ )N__wrapped__r   r!   F)r   hasattrr   appendr   )r   	base_funcargskwargss     r   r"   example.<locals>.decorator1   s`    A}a0	y+.."$I""D&>21h&& 	"Ar$   )bool
ValueError)r.   r/   r"   s   `` r   r   r   -   s,    DzT&\!HII r$   c                 >    U (       d  [         R                  " S5      eg)NzUnsatisfied assumptionT)r   SkipTest)	conditions    r   r   r   C   s     899r$   c                      [        S5        g )NF)r   r%   r$   r   r   r   I   s	    
5Mr$   c                      g r   r%   r.   r/   s     r   r   r   M   s    r$   c                      S $ )Nc                     U $ r   r%   )r   s    r   <lambda>settings.<locals>.<lambda>R   s    Qr$   r%   r8   s     r   r   r   Q   s    r$   c                   <    \ rS rSrSrSrSrSrSrSr	\
S 5       rS	rg
)r
   U   r                  c                     [        U 5      $ r   )list)clss    r   allHealthCheck.all]   s    Cyr$   r%   N)__name__
__module____qualname____firstlineno__data_too_largefilter_too_muchtoo_slowreturn_valuelarge_base_examplenot_a_test_methodclassmethodrG   __static_attributes__r%   r$   r   r
   r
   U   s4    NOHL r$   r
   c                   $    \ rS rSrSrSrSrSrSrg)r   b   r   r   r?   r@   r%   N)	rI   rJ   rK   rL   quietnormalverbosedebugrT   r%   r$   r   r   r   b   s    EFGEr$   r   c                   ,    \ rS rSrSrSrSrSrSrSr	Sr
g	)
Phasei   r   r   r?   r@      rA   r%   N)rI   rJ   rK   rL   explicitreusegeneratetargetshrinkexplainrT   r%   r$   r   r\   r\   i   s     HEHFFGr$   r\   )enumr   r   r   __all__ r	   r   r   r   r   r   r   r
   r   r\   r%   r$   r   <module>rh      s\      
 2,	
$ 
 D r$   