iK9%SSKrSSKrSSKrSSKJr SSKJrJrJr SSK J r SSK J r J r JrJrJr SSKJr SSKJrJr SSKJrJr SS KJr SS KJr SS KJr SS KJ r SS K!J"r" SSK#J$r$J%r% SSK&J'r' SSK(J)r) SSK*J+r+J,r,J-r-J.r. S\/S\ S\/4Sjr0S\4Sjr1\S\ SS-S\4Sj5r2\S\3S\ S4Sj5r2S\3S\ S4Sjr2\)\S"S5r4S\54Sjr6S0Sjr7\ S 5r8"S!S5r9S"r:S#r;S$\3SS4S%jr-SS4S(jjr?\"5r@\\AS)'\/S*.S+jrBS&S,.S-\=\>-S.\/S\=\>-4S/jjrCg)2N) defaultdict)Callable GeneratorSequence)contextmanager)AnyLiteralNoReturnOptionaloverload)WeakKeyDictionary) Verbositysettings)InvalidArgumentUnsatisfiedAssumption)BaseExceptionGroup)ConjectureData)observability_enabled)get_pretty_function_description) check_type)reportverbose_report)note_deprecation)DynamicVariable) ArgLabelsTIDKeyPrettyPrintFunctionprettywhatframereturnclURnUSURRSURS3$)Nz() in z (line ))f_backf_codeco_namef_lineno)rr wheres Q/var/www/html/ai-image-ml/venv/lib/python3.13/site-packages/hypothesis/control.py_calling_function_locationr*!s4 LLEV6%,,../wu~~6Fa HHc [Rc [SSSS9 [S[R "55n[ 5(a0[5RRUnURSS9 [U5e)Nz:Using `reject` outside a property-based test is deprecated 2023-09-25Fsince has_codemodreject condition) _current_build_contextvaluerr*inspect currentframecurrently_in_test_contextcurrent_build_contextdata_observability_predicates update_countr)r(countss r)r1r1&st##+ H 'x1E1E1G HE ""&(--GGNe,  &&r+r3FcgNr2s r)assumerA4s:=r+Tcgr?r@r2s r)rArA6s03r+c~[Rc [SSSS9 [5(dU(d[ S[ R "55n[5(aH[5(a9[5RRUnUR[U5S9 U(d[SU35eg) zCalling ``assume`` is like an :ref:`assert ` that marks the example as bad, rather than failing the test. This allows you to specify properties that you *assume* will be true, and let Hypothesis try to avoid similar examples in future. z:Using `assume` outside a property-based test is deprecatedr-Fr.rAr2zfailed to satisfy T)r4r5rrr*r6r7r8r9r:r;r<boolr)r3r(r=s r)rArA:s##+ H i*8W5I5I5KL " "'@'B'B*,11KKERF   $y/  :'*` test, and ``False`` otherwise. This is useful for third-party integrations and assertion helpers which may be called from either traditional or property-based tests, and can only use e.g. |assume| or |target| in the latter case. N)r4r5r@r+r)r8r8Ts " ' 't 33r+cB[RnUc [S5eU$)NzNo build context registered)r4r5rcontexts r)r9r9_s#$**G;<< Nr+c'# SSKJn [R"5nSv [R"5nXC:wa7[ U5UR ;a[ SUR"U6-SSSS9 ggg7f)Nr)entropyznDo not use the `random` module inside strategies; instead consider `st.randoms()`, `st.sampled_from()`, etc. z 2024-02-05F)r/r0 stacklevel)hypothesis.internalrKrandomgetstatehash_known_random_state_hashesrformat)fmtargsrK state_before state_afters r)deprecate_random_in_strategyrXfss+??$L //#K( #  W%G%G G CEHZZQUEV W   H $sA2A4c \rSrSrSS.S\S\S\SS4S jjr\S \ S\ \ SS44S j5r SS .S \ S\ S\\ S\\ \ 4S\ S-SS4 SjjrS\\ \4S\\\ \4\ 44SjrSrSrSrg)rEF)is_finalr:r[ wrapped_testr!NclXl/UlX lX0l[ [ 5Ul/Ulgr?)r:tasksr[r\rlistknown_object_printers _label_path)selfr:r[r\s r)__init__BuildContext.__init__s7 .0  (   " ')r+labelc#\# [URR5nURR U5 0nUv URR 5 [URR5nX$::deX$:wa,X$4X1'URR RX$45 gg!URR 5 [URR5nX$::deX$:wa,X$4X1'URR RX$45 ff=f7fr?)lenr:nodesraappendpop arg_slicesadd)rbrestart arg_labelsends r)track_arg_labelBuildContext.track_arg_labelsDIIOO$ &!#  7     "diioo&C< <|%*L ! $$((%6    "diioo&C< <|%*L ! $$((%6s=D,B6A2D,6A3D))D,rnobjfuncrUkwargsrnch^^UR[U5RX%S.UU4Sjj5 g)N)_func _arg_labelsc >>URUU[U5TTUS9$)Nrr)maybe_repr_known_object_as_callr)rspcyclerwrxrUrus r)*BuildContext.record_call..s/IjIj/6& JkJr+)r`rri)rbrsrtrUrurns `` r) record_callBuildContext.record_calls/ ""5:.55+/   r+kwarg_strategiesc,0n0nUR5HXupEURU5n[SXE5 URR USU3S9X4'SSS5 SSS5 UW-nMZ X24$!,(df  N"=f!,(df  N+=f)Nz from {}={!r}z generate:) observe_as)itemsrprXr:draw)rbrrnruks arg_labels r) prep_args_kwargs_from_strategies-BuildContext.prep_args_kwargs_from_strategiess"$ !#$**,DA$$Q'9,^QB IINN19QCNI C( ) #J -!! CB('s" B A4B4 B >B B cn[RU5UlURR5 U$r?)r4 with_valueassign_variable __enter__)rbs r)rBuildContext.__enter__s,5@@F &&( r+cURRXU5 /nURH nU"5 M U(a"[ U5S:XaUSUe[ SU5Ueg![anUR U5 SnAMZSnAff=f)NrLrzCleanup failed)r__exit__r^ BaseExceptionrirgr)rbexc_type exc_valuetberrorstaskerrs r)rBuildContext.__exit__s %%h2>JJD # 6{aQiY.$%5v>I M ! # c"" #sA$$ B .BB )rarr:r[r`r^r\)__name__ __module__ __qualname____firstlineno__rrDrrcrstrrrrpobjectrdictrrtuplerrr__static_attributes__r@r+r)rErEs  )) )  )  ),7S7Yz47M-N77<)-   v  S&[!  %   ("sCx." tCH~z) *"" Nr+cv[RnUc [S5eURR U5 g)a]Register a function to be called when the current test has finished executing. Any exceptions thrown in teardown will be printed but not rethrown. Inside a test this isn't very interesting, because you can just use a finally block, but note that you can use this inside map, flatmap, etc. in order to e.g. insist that a value is closed at the end. Nz0Cannot register cleanup outside of build context)r4r5rr^ri)teardownrIs r)cleanuprs2%**GPQQ MM"r+c[RnUc [S5eUR=(d+ [R R [R:$)Nz#Cannot make notes outside of a test) r4r5rr[rdefault verbosityrverboserHs r) should_notersF$**GCDD    Nx//99Y=N=NNNr+r5cz[5(a,[U[5(d [U5n[ U5 gg)z2Report this value for the minimal failing example.N)r isinstancerrr)r5s r)noter s+}}%%%5MEu r+payloadc[RnUc [S5eURRR n[ U[[[4US9n[ XS9nXRRU'g)aIRecord an event that occurred during this test. Statistics on the number of test runs with each event will be reported at the end if you run Hypothesis in statistics reporting mode. Event values should be strings or convertible to them. If an optional payload is given, it will be included in the string for :ref:`statistics`. Nz&Cannot record events outside of a test) allowed_typesavoid_realization)r) r4r5rr:providerr_event_to_stringrintfloatevents)r5rrIrs r)eventrsm%**GFGG --??S%0DUG U HE!(LLr+_events_to_strings)rc[X5(aU$U(a [U5$[U$![[4a Of=f[U5nU[U'U$![a U$f=fr?)rrrKeyError TypeError)rrrresults r)rr(s%'' 5z !%(( i    ZF $*5! M   M s!/AA A A*)A*)re observationrec &[[[4US5 [R"U5(d[ SU<S35e[[ US5 [RnUc [ S5eURRR(aU$[SU<SU<S35 XRR;a3[ S U<SU<S URRU<SU<S3 5eXRRU'U$) aCalling this function with an ``int`` or ``float`` observation gives it feedback with which to guide our search for inputs that will cause an error, in addition to all the usual heuristics. Observations must always be finite. Hypothesis will try to maximize the observed value over several examples; almost any metric will work so long as it makes sense to increase it. For example, ``-abs(error)`` is a metric that increases as ``error`` approaches zero. Example metrics: - Number of elements in a collection, or tasks in a queue - Mean or maximum runtime of a task (or both, if you use ``label``) - Compression ratio for data (perhaps per-algorithm or per-level) - Number of steps taken by a state machine The optional ``label`` argument can be used to distinguish between and therefore separately optimise distinct observations, such as the mean and standard deviation of a dataset. It is an error to call ``target()`` with any label more than once per test case. .. note:: The more examples you run, the better this technique works. As a rule of thumb, the targeting effect is noticeable above :obj:`max_examples=1000 `, and immediately obvious by around ten thousand examples *per label* used by your test. :ref:`statistics` include the best score seen for each label, which can help avoid `the threshold problem `__ when the minimal example shrinks right down to the threshold of failure (:issue:`2180`). rz observation=z must be a finite float.rezvCalling target() outside of a test is invalid. Consider guarding this call with `if currently_in_test_context(): ...`z Saw target(z, label=r#zCalling target(z) would overwrite target()rrrmathisfiniterrr4r5r:rrrtarget_observations)rrerIs r)targetr?sFU|[-8 == % %.FGHHsE7#$**G U      0 0[y%;< 000k_Iuh7ll66u=@ 5(! M  3> ((/ r+)r!rE)r)Dr6rrO collectionsrcollections.abcrrr contextlibrtypingrr r r r weakrefr hypothesisrrhypothesis.errorsrrhypothesis.internal.compatr#hypothesis.internal.conjecture.datar!hypothesis.internal.observabilityrhypothesis.internal.reflectionrhypothesis.internal.validationrhypothesis.reportingrrhypothesis.utils.deprecationr!hypothesis.utils.dynamicvariablesrhypothesis.vendor.prettyrrrrrr*r1rArr4rDr8r9rXrErrrrrrr__annotations__rrr@r+r)rs #99%==%*D9>CJ579=SSISIII ' ' =gent+== = 3f33 3f.).)AB4H444" " JdNdNN #O4))sSy50)$)():(;%;.1.68=e =s=C%K=r+