i+SrSSKrSSKrSSKrSSKrSSKrSSKrSSKrSSKrSSK r SSK r SSK r SSK r SSK r SSKrSSKrSSKrSSKJr SSKJrJrJrJrJrJr SSKJrJr SSKJr SSKJr SSKJ r SS K J!r! SS K J"r" SS K#J$r$J%r%J&r&J'r' SS KJ(r( SS K)J*r+ SSK,J-r-J.r.J/r/J0r0J1r1J2r3 SSK4J5r5J6r6 SSK7J8r8J9r9 SSK:J;r;Jr>J?r?J@r@JArAJBrBJCrCJDrDJErEJFrFJGrGJHrHJIrI SSKJJKrK SSKLJMrMJNrNJOrOJPrPJQrQJRrR SSKSJTrT SSKUJVrVJWrW SSKXJYrYJZrZ SSK[J\r\J]r] SSK^J_r_J`r` SSKaJbrb SSKcJdrd SSKeJfrfJgrgJhrhJiriJjrj SSKkJlrl SSKmJnrnJoroJprpJqrqJrrr SSKsJtrtJuruJvrvJwrwJxrxJyryJzrzJ{r{J|r|J}r} SSK~JrJrJrJrJr SS KJr SS!KJrJrJrJr SS"KJrJrJr SS#KJr SS$KJrJrJr SS%KJr SS&KJr SS'KJr SS(KJr \&"S)\S*9rS+rS,rSr\"S-S.9r\"S,S+S/9"S0S155r\"S,S,S/9"S2S355r"S4S55rS6\S7\\/\44S8jrS9\S:\S7\\/\44S;jrS<\\TS7\4S=jrS<\\TS7\4S>jrS:\S7\\T4S?jr\ES@.SAjrSBrSCrSDr\"S,S+S/9"SESF55rSG\$SH\\SI\\\4SJ\\\4SK\\\4S7\\\\\\4\44 SLjrSMrS7\\\SN44SOjrSPrSQrSRr\&"SS\S*9rST\N\S7\\4SUjr\GR~S7\SV4SWj5r"SXSY5rSZ\\S7\\4S[jrSpSS\.S]jjr\GR~SqS^j5r\"S+S+S/9"S_S`55r\'Sa\"S7\\SN\\$\$S4S-4/\/S444Sbj5r\'Sc\\$S7\\SN\\$\$S4S-4/\Sd44Sej5r\'Sf\\$\"-S7\\SN\\$\$S4S-4/\Sd44Sgj5rSc\\$\"-Sf\\$\"-S7\\SN\\$\$S4S-4/\Sd44ShjrSSSSi.Sj\\Sk\\$/\4Sl\3S-Sm\ S-Sn\S-S7\4 Sojjrg)rzFThis module provides the core primitives of Hypothesis, such as given.N) defaultdict)Callable Coroutine GeneratorHashableIterableSequence) dataclassfieldpartial) Parameter)Random)Lock) EllipsisType)AnyBinaryIOTypeVaroverload)TestCase) strategies) HealthCheckPhase Verbosity all_settingslocal_settingssettings) BuildContextcurrently_in_test_context)choices_from_byteschoices_to_bytes)BackendCannotProceedDeadlineExceededDidNotReproduceFailedHealthCheck FlakyFailure FlakyReplayFoundFrozenHypothesisExceptionHypothesisWarningInvalidArgument NoSuchExampleStopTest UnsatisfiableUnsatisfiedAssumption) observability)PYPYBaseExceptionGroupadd_notebad_django_TestCaseget_type_hintsint_from_bytes)ChoiceT)ConjectureDataStatus) BUFFER_SIZEConjectureRunner)ensure_free_stackframesgc_cumulative_time)BytestringProviderPrimitiveProvider)sort_key)deterministic_PRNG)InterestingOrigincurrent_pytest_itemformat_exceptionget_trimmed_tracebackis_hypothesis_file)fail_health_check)InfoObservationInfoObservationTypedeliver_observation make_testcaseobservability_enabled) convert_positional_argumentsdefine_function_signaturefunction_digestget_pretty_function_description get_signature impersonateis_mocknicereprproxies repr_call)MONITORING_TOOL_IDTraceTracerexplanatory_linestractable_coverage_report) check_type)current_verbosityreportverbose_report with_reporter)describe_statisticsdescribe_targetsnote_statistics)NOTHING)ExSearchStrategycheck_strategynot_set) ThreadLocal)RepresentationPrinter) __version__TestFunc)boundFTcgNrrN/var/www/html/ai-image-ml/venv/lib/python3.13/site-packages/hypothesis/core.pyrusDrs)_hypothesis_global_random)slotsfrozencV\rSrSr%\\S'\\S'\"SS9r\\S'\"SS9r\\S'Sr g) ExampleargskwargsN)defaultraisesreasonrr) __name__ __module__ __qualname____firstlineno__r__annotations__r rr__static_attributes__rrrsrtrzrzs* I K%FC%%FC%rsrzc0\rSrSr%\\\S'\\S'Srg)ReportableError fragments exceptionrrN) rrrrliststrr BaseExceptionrrrrsrtrrsCyrsrc \rSrSrSrS\S\SS4SjrS\S\4S jrSS \ S .S \ S \ S\ \ \ \ \ S4-SS4SjjjrS\ SS4SjrSrg)examplea Add an explicit input to a Hypothesis test, which Hypothesis will always try before generating random inputs. This combines the randomized nature of Hypothesis generation with a traditional parametrized test. For example: .. code-block:: python @example("Hello world") @example("some string with special significance") @given(st.text()) def test_strings(s): pass will call ``test_strings("Hello World")`` and ``test_strings("some string with special significance")`` before generating any random inputs. |@example| may be placed in any order relative to |@given| and |@settings|. Explicit inputs from |@example| are run in the |Phase.explicit| phase. Explicit inputs do not count towards |settings.max_examples|. Note that explicit inputs added by |@example| do not shrink. If an explicit input fails, Hypothesis will stop and report the failure without generating any random inputs. |@example| can also be used to easily reproduce a failure. For instance, if Hypothesis reports that ``f(n=[0, math.nan])`` fails, you can add ``@example(n=[0, math.nan])`` to your test to quickly reproduce that failure. Arguments to ``@example`` ------------------------- Arguments to |@example| have the same behavior and restrictions as arguments to |@given|. This means they may be either positional or keyword arguments (but not both in the same |@example|): .. code-block:: python @example(1, 2) @example(x=1, y=2) @given(st.integers(), st.integers()) def test(x, y): pass Noting that while arguments to |@given| are strategies (like |st.integers|), arguments to |@example| are values instead (like ``1``). See the :ref:`given-arguments` section for full details. r|r}returnNcU(aU(a [S5eU(dU(d [S5e/Ul[[U5U5Ulg)Nz8Cannot mix positional and keyword arguments for examplesz-An example must provide at least one argument)r,hypothesis_explicit_examplesrztuple _this_example)selfr|r}s rt__init__example.__init__sE F!J !"QR R;=)$U4[&9rstestc[US5(dURUlURRUR5 U$)Nr)hasattrrappendr)rrs rt__call__example.__call__s=t;<<040Q0QD - ))001C1CD rs)rr conditionrr.cz[[US5 [[US5 [U[5(a[ U[ 5(dC[U[5(aU(a[SU55(d[SU<S35eU(a$[R"URX2S9Ul U$)aDMark this example as an expected failure, similarly to :obj:`pytest.mark.xfail(strict=True) `. Expected-failing examples allow you to check that your test does fail on some examples, and therefore build confidence that *passing* tests are because your code is working, not because the test is missing something. .. code-block:: python @example(...).xfail() @example(...).xfail(reason="Prices must be non-negative") @example(...).xfail(raises=(KeyError, ValueError)) @example(...).xfail(sys.version_info[:2] >= (3, 12), reason="needs py 3.12") @example(...).xfail(condition=sys.platform != "linux", raises=OSError) def test(x): pass .. note:: Expected-failing examples are handled separately from those generated by strategies, so you should usually ensure that there is no overlap. .. code-block:: python @example(x=1, y=0).xfail(raises=ZeroDivisionError) @given(x=st.just(1), y=st.integers()) # Missing `.filter(bool)`! def test_fraction(x, y): # This test will try the explicit example and see it fail as # expected, then go on to generate more examples from the # strategy. If we happen to generate y=0, the test will fail # because only the explicit example is treated as xfailing. x / y rrc3p# UH,n[U[5=(a [U[5v M. g7frq) isinstancetype issubclassr).0rs rt example.xfail..'s)NT 1d#D 1m(DDfs46zraises=z6 must be an exception type or tuple of exception types)rr) r]boolrrrrrrallr, dataclassesreplacer)rrrrs rtxfail example.xfailsP 4K03) vt $ $FM)J)J vu % %NT"6)QR  !,!4!4""6"D  rswhencecF[U[5(d [S5eU$)aAttach a machine-readable label noting what the origin of this example was. |example.via| is completely optional and does not change runtime behavior. |example.via| is intended to support self-documenting behavior, as well as tooling which might add (or remove) |@example| decorators automatically. For example: .. code-block:: python # Annotating examples is optional and does not change runtime behavior @example(...) @example(...).via("regression test for issue #42") @example(...).via("discovered failure") def test(x): pass .. note:: `HypoFuzz `_ uses |example.via| to tag examples in the patch of its high-coverage set of explicit inputs, on `the patches page `_. z.via() must be passed a string)rrr,)rrs rtvia example.via4s"0&#&&!"BC C rs)rr)T)rrrr__doc__rrrnrrrrrrrrrrrrsrtrrs1f :c :S :T :X(:HU :: : ]#eD,?,D&EE :  :x#Yrsrseedrc^U4SjnU$)a Seed the randomness for this test. ``seed`` may be any hashable object. No exact meaning for ``seed`` is provided other than that for a fixed seed value Hypothesis will produce the same examples (assuming that there are no other sources of nondeterminisim, such as timing, hash randomization, or external state). For example, the following test function and |RuleBasedStateMachine| will each generate the same series of examples each time they are executed: .. code-block:: python @seed(1234) @given(st.integers()) def test(n): ... @seed(6789) class MyMachine(RuleBasedStateMachine): ... If using pytest, you can alternatively pass ``--hypothesis-seed`` on the command line. Setting a seed overrides |settings.derandomize|, which is designed to enable deterministic CI tests rather than reproducing observed failures. Hypothesis will only print the seed which would reproduce a failure if a test fails in an unexpected way, for instance inside Hypothesis internals. cN>TUl[USS5n[USS9UlU$)N!_hypothesis_internal_use_settings)database)_hypothesis_internal_use_seedgetattrSettingsr)rcurrent_settingsrs rtacceptseed..acceptqs4-1*"4)LdS19 t2 . rsrr)rrs` rtrrRs> Mrsversionblobc^^UU4SjnU$)a Run the example corresponding to the binary ``blob`` in order to reproduce a failure. ``blob`` is a serialized version of the internal input representation of Hypothesis. A test decorated with |@reproduce_failure| always runs exactly one example, which is expected to cause a failure. If the provided ``blob`` does not cause a failure, Hypothesis will raise |DidNotReproduce|. Hypothesis will print an |@reproduce_failure| decorator if |settings.print_blob| is ``True`` (which is the default in CI). |@reproduce_failure| is intended to be temporarily added to your test suite in order to reproduce a failure. It is not intended to be a permanent addition to your test suite. Because of this, no compatibility guarantees are made across Hypothesis versions, and |@reproduce_failure| will error if used on a different Hypothesis version than it was created for. .. seealso:: See also the :doc:`/tutorial/replaying-failures` tutorial. c>TT4UlU$rq)*_hypothesis_internal_use_reproduce_failure)rrrs rtr!reproduce_failure..accepts;BD/7 rsrr)rrrs`` rtreproduce_failurers0 Mrschoicesc2S[<S[U5<S3$)Nz@reproduce_failure(, ))rmencode_failure)rs rtreproduction_decoratorrs r.2I1LA NNrsc[U5n[R"U5n[U5[U5:aSU-nOSU-n[R "U5$)N)r!zlibcompresslenbase64 b64encode)rr compresseds rtrrsN G $Dt$J :T"z!t|   D !!rsc[R"U5nUSSnUS:XaUSSnO4US:Xa[R "USS5nO[SU<SU<35e[U5nUc[SU<35eU$![a [SU<35Sef=f![R an[SU<35UeSnAff=f) NzInvalid base64 encoded string: rrz"Invalid zlib compression for blob zCould not decode blob z: Invalid start byte z,Invalid serialized choice sequence for blob )r b64decode Exceptionr,r decompresserrorr )rdecodedprefixerrrs rtdecode_failurersT""4(Ra[F !"+ 5 oogabk2G $TH,A& L  !)G LTHUVV N- T ?xHItSTzz !4TH=  s"A<B<BC.B>>Cexccb^^[U5UU4Sj5nSUl[UUUS9UlU$)Nc>T"T5erqrr) argumentsr}rmessages rt wrapped_test_invalid..wrapped_tests 'lrsT) inner_test_get_fuzz_target _given_kwargs)rSis_hypothesis_testHypothesisHandle hypothesis)rrr given_kwargsrs`` rt_invalidrsB'+L#.%"L rsc T[[XS9nU(dU(dU"S5$[URR 55nUVs/sHofR UR LdMUPM! nnUVs/sHofR URLdMUPM! nnU(a XW:waU"S5$[U5[U5:a1U"SURS[U5S[U5SU<35$SU;aU"S 5$U(aU(aU"S 5$UV Vs/sH(oXx-Vs1sHofRiM sn;dM&U PM* n n nU (afU/:XdUS R US RLaAU S n S n U [;a SU SX;<S3n U"URSU <SU SX;<SU 3 5$[SU55(aU"S5$[U5V Vs/sHupU[LdMU<SU S3PM snn UR!5VVs/sHupU[LdMUSU<3PM snn-nU(a4[U5S:aSOSnU"SUS3SR#U5-[$S9$gs snfs snfs snfs snn fs snn fs snnf) aHCheck the arguments to ``@given`` for basic usage constraints. Most errors are not raised immediately; instead we return a dummy test function that will raise the appropriate error if it is actually called. When the user runs a subset of tests (e.g via ``pytest -k``), errors will only be reported for tests that actually ran. rrz/given must be called with at least one argumentzvpositional arguments to @given are not supported with varargs, varkeywords, positional-only, or keyword-only argumentsz"Too many positional arguments for z,() were passed to @given - expected at most z arguments, but got  .z... was passed as a positional argument to @given, but may only be passed as a keyword argument or as the sole argument of @givenz5cannot mix positional and keyword arguments to @givenrrz. Did you mean @settings(=z)?z&() got an unexpected keyword argument z, from `z ` in @givenc3P# UHoRURLv M g7frq)r~emptyrps rtr"is_invalid_test..s 4V99AGG #V$&z0Cannot apply @given to a function with defaults.z (arg rrrstrategyz$Cannot generate examples from empty : rrN)r rr parametersvalueskindPOSITIONAL_OR_KEYWORD KEYWORD_ONLYrrname VAR_KEYWORDrany enumeratereitemsjoinr/)r original_siggiven_argumentsrinvalidparamsr pos_params kwonly_paramsk extra_kwargsargextraidxsrrstratss rtis_invalid_testrshTEG |HII ,))002 3F#IVvv1H1H'H!VJI &C1&&ANN*BQMC6/ F   ?c*o-0@)),Z(9:""%o"6!7q8K M   o M  <NOOaZ=W,X=WVV=W,X#X<2r @V@V)V1o , /uAl6G5J"ME}}oCC7KE<,/{5' C   4V 444IJJ ,5_+E +Eg1%vcU!+E (4(:(:(<M(.&s!5U!+++5UrztCannot pass positional arguments to @example() when decorating a test function which has positional-only parameters.z:example has too many arguments for test. Expected at most z but got Tstrictrc38# UHn[U5v M g7frqreprrrs rtrr7s JDGGJc38# UHn[U5v M g7frqrr s rtrr:sH1GAQ1Gr!z/Inconsistent args: @given() got strategies for z#, but @example() got arguments for )is_final print_exampleexample_kwargsc38# UHn[U5v M g7frqrU)rxs rtrrYs(Hi!ir!c3F# UHupUS[U53v M g7f)rNr'rrvs rtrrYs&U=STQqc8A;-0=Ss!z because rrrc38# UHoRv M g7frq)r)rexs rtrrys-XDWbkkDWr!rz, or AEIOUz Expected anrz from @example(rz, but no exception was raised.z @example(z) raised an expected z6, but Hypothesis does not treat this as a test failurec3B# UHn[U[5v M g7frq)rrg)rrs rtrrs"JLsN33LszThe @example() decorator expects to be passed values, but you passed strategies instead. See https://hypothesis.readthedocs.io/en/latest/reference/api.html#hypothesis.example for details.zFalsifying examplezFalsifying explicit examplezexplicit example) run_startpropertydata how_generatedrepresentationtiming FalsifyingTrying)KrStateForActualGivenExecutionrrrrrreversedrrzr|r}rr,rdictziprsortedrrset isdisjointupdaterexplicitrphasesrr9 for_choicesr execute_oncerarrrrrrrrupperAssertionErrorfailure_exceptions_to_catchxfail_example_reprsaddrWrr0 contextlibsuppressr. conclude_testr:INVALIDwith_tracebackrFr+ __cause__rreport_multiple_bugspytest_shows_exceptiongroupsskip_exceptions_to_reraise startswithrfreezerMrL_start_timestamptest_identifier _string_repr_timing_featuresrKr`)staterrr}r rposargsrr% given_kws example_kwsfragments_reported empty_dataexecute_examplebitsrrvowelrnewtcfs rtexecute_explicit_examplesres e9 : :: :((//11A 66Q,, , 1  GL2PRTUV'7++++ <<~~ %%5A5L5L5S5S5U&L7<< 3w</%P7|nIc',,.?-@B"GS..017<<MN"'..1NII #L$;$;$I$IJ  iiH1GHH  #!A)M44?=B >"--f5555f% >>!6!6 6  ENN +!# '33B7Jp ,")&&!" ###5#<#<=~~-') $yy(Hi(HH499U=K=Q=Q=SUL $+-&(10@%ADDX%XF&~~>'2%/%F%F'.~~'>'>!$W^^!4!9'.~~a'8'A'A%)II-XGNNSVTVDW-X$X(-gnnR.@.I.I-J&K%L!%%)JJLOw$>E"0",S5[M4&PTvUV#)(*H!J#S>p&-a0;;q,A,I,I,.KQ-&q)!!#(**&"'"8"8!&!6!6'&8','9'9$55 B(+!1!4<<\8UVWX+AB/A"1%0o, +UW J ;<#-c7>>#B#B %"5599 )%**i P '~~'#2"+D61FsgNW!W#$'' '%>=Z) =  ((2,,V^^<3222 !  (()>)@A c#>#@AAcJ&||eGNN4I4I4K.LLJGG,0C %(CMC((2,,V^^<322%&8#>>NN7744"3(C(EFF&s,F,HII&-a0;;q,A,I,I,.KQ-&q)!!#(**&"'"8"8!&!6!6'&8','9'9$55 B(+g, +B%-a0;;q,A,I,I,.KQ-&q)!!#(**&"'"8"8!&!6!6'&8','9'9$55 B(+g, +@! F&-a0;;q,A,I,I,.KQ-&q)!!#(**&"'"8"8!&!6!6'&8','9'9$55 B(++U, +s(4fTT'H f1e- ,V?7AV-TDV-,V?4Ce- fV* -A U> 8V->V* V% %V* *V-- V< 7V?:c <V??$c # X c  c  X c c  c ,B%c [: 1 c: \ A-c1c 5Be- fc Be-: fc  c  Be**e-- e= 7 fcURnSUlURb[UR5$UR(a[[ [ U555$[b[[5$[Rc[5[l [RRS5nX1l[U5$)N) r'_hypothesis_internal_use_generated_seedrr derandomizer7rPglobal_force_seed threadlocalrv getrandbits)rrrrs rtget_random_for_wrapped_testrms==H;?L811=l@@AAn_T%:;<<$'((,,406 -  0 0 < \rSrSr%\\S'\\S'\\S'\\S'Srg)Stuffiselfyr|r}rrrN) rrrrrrrr;rrrrsrtroros J K Lrsrorrr}rr cSn[XU5upUR5Vs/sH)ofRURLdMURPM+ nnU(aUR US5nO U(aUSn[ U5(aSn[U5n[5 UR5Hup[XS9 U R5 M SSS5 [XQX#S9n XU 4$s snf!,(df  N!=f)Nr)r)rpr|r}r) rNrrrrgetrTrr=rrhvalidatero) rrr}rr rprrZrrstuffs rtprocess_arguments_to_givenrus E4\fUI &}}T!&&AsysmodulesrISkipTestSkippedrr=r exceptionss rtrRrRsnJ S[[ s{{:.778S[[(s{{#56>>?  , --rs.c[[[/nS[R;a,UR [RSR 5 [U5$)zReturn a tuple of exceptions meaning 'this test has failed', to catch. This is intended to cover most common test runners; if you would like another to be added please open an issue or pull request. rx)r SystemExit GeneratorExitr{r|rFailedrrs rtrGrGsEZ7JS[[(#++&89@@A  rscURURR5Vs/sH=nURU;a(URUR UR 4;aM;UPM? snSS9$s snf)z/Make an updated signature for the wrapped test.N)rreturn_annotation)rrrrrrr)r rrs rtnew_given_signaturer(sw   ",,335 5,&FFq66GG 5    s :A2&A2cU"U5$rqrr)r3functions rtdefault_executorr7s D>rsc ^^^URmU4Sj$![a Of=f[US5(d[US5(a7[USS5=(d Sm[USS5=(d SmUU4SjnU$[$)Nc&>T"[X55$rqr )r3rr_s rtruget_executor..Asogh6M&Nrs setup_exampleteardown_examplecgrqrrrrrsrtrurDs4rscgrqrr)r-s rtrurEsDrscR>SnT"5nU"U5T"U5 $!T"U5 f=frqrr)r3rtokensetupteardowns rtexecuteget_executor..executeGs*E ~s &)r_AttributeErrorrrr)runnerrr_rrs @@@rt get_executorr;sO 00ON    v''76;M+N+N6H<6#5t<Q  s  $$Texcgroupc/nURHEn[U[5(aUR[ U55 M4UR U5 MG U$rq)rrr3extend_flatten_groupr)rfound_exceptionsrs rtrrYsO """ c- . .  # #N3$7 8  # #C ( # rs)NNNc## Sv g![anUR[5upUceURS5up4Ube[U5n[ U5S:XaUSnXfR eUR[ 5upxU(a[U5SnXfR eUce[[U5SS9eSnAff=f7f)Nc.[U[[45$rq)rr.r*)es rtru+unwrap_markers_from_group..ssjX/B$CDrsrrcUR$rq) testcounter)s_es rtrursS__rsry)r3splitr)rrrOr.min) r_frozen_exceptionsnon_frozen_exceptions_user_exceptionsflattened_non_frozen_exceptionsr stoptests non_stoptestss rtunwrap_markers_from_grouprcs-N +N4#>x#H  }-a0A $$$$.+1LMMW+Ns%C  C  CB/CCC c\rSrSrSS.S\S\S\4S\S\S \S \ \ \ 4S-4 S jjr \ S \4S j5rSrSSSSS.SjrS\S\S \4SjrS\S S4SjrS\S\S\\ -S S4SjrSrSrg)r9iNthread_overlaprtr.rrandomrrcXlX lX0lX@lXPlUc0OUUl[ UR5Ul[USS5Ul SUl SUl SUl [5UlSUlSUl[%[5Ul[(R("5UlSUl0UlSUlg)N%_hypothesis_internal_print_given_argsTrrFr)rtrrrrrrrp test_runnerrprint_given_argslast_exceptionfalsifying_examples ever_executedr>rHfailed_normallyfailed_due_to_deadlinerexplain_tracestimerUrWrX_runner)rrtrrrrrs rtr%StateForActualGivenExecution.__init__s    ($2$:b' 4 ' A4! ##% "-0U $&+#JU K !% 2404 rsrcp[[RSS5=(d [UR5$)Nnodeid)rrDvaluerQrrs rtrV,StateForActualGivenExecution.test_identifiers1  % %x @ ,T->-> ? @rsc6[5=(a [RnUR=(a[ UR(+=(aC [ R [ R1RURR5nU=(d U$rq) rMr1OBSERVABILITY_COLLECT_COVERAGErrrshrinkexplainissubsetrrB)r _trace_obs_trace_failures rt _should_trace*StateForActualGivenExecution._should_tracest " # T (T(T    M/// Mu}}-66t}}7K7KL  +^+rsF)r$r#expected_failurer%c n^^^^^^^ ^ ^ STlSTlSm TRRc.[ 5(d[ TR 5U4Sj5m O [ TR 5UUU4Sj5m S[SS4U UUUUU U 4Sjjn[TR5 [5 [TTTRS 9m SnTRR5 TRTU5nSSS5 SSS5 SSS5 SSS5 TbTup[U[ 5(a["R$"S TR&R)555=n (a\[+S UR,R/5S -S STRRR/5S -S SU S -S S35 O[+SU -5 [1ST S3U/5eW$!,(df  N=f!,(df  GN=f!,(df  GN=f!,(df  GN=f)aRun the test function once, using ``data`` as input. If the test raises an exception, it will propagate through to the caller of this method. Depending on its type, this could represent an ordinary test failure, or a fatal error, or a control exception. If this method returns normally, the test might have passed, or it might have placed ``data`` in an unsuccessful state and then swallowed the corresponding control exception. TrNc>[5 [5 TR"U0UD6sSSS5 sSSS5 $!,(df  O=fSSS5 g!,(df  g=frq)rr=r)r|r}rs rtr7StateForActualGivenExecution.execute_once..tests@.02I2K99d5f53L2K002K2K000s A< A A A A$c>[R"T RR55n[R"T RR55n[ 5n[ 5 [5 [R"5nTR"U0UD6n[R"5n[R"T RR55U- n[R"T RR55U- n [ 5U- n Xu- U- U - U - n U U S.T RET RETl SSS5 SSS5 TRR=n bTRR[ R""5S5(dUT(dU S-S-n W U R%5:a2['[(R*"U S9TRR5eW$![R"5n[R"T RR55U- n[R"T RR55U- n [ 5U- n Xu- U- U - U - n U U S.T RET RETl f=f!,(df  GNs=f!,(df  GN}=f)N)z execute:testz overall:gcF)seconds)mathfsum draw_timesr_stateful_run_timesr>rr=r perf_counterrrXrdeadlinerrr threading get_ident total_secondsr#datetime timedelta)r|r} arg_drawtime arg_stateful arg_gctimestartresultfinish in_drawtime in_stateful in_gctimeruntimecurrent_deadliner3r#rs rtrrsn#yy)?)?)AB #yy)A)A)H)H)JK /1 .02I2K --/E!%D!;F!;!%!2!2!4&*ii0F0F0H&IL&X  IId&>&>&E&E&GH<W$%7$8:$E "(.;">"Ly"X,3*31#oo1#66 1-3L0(*.)?)??%L!//33I4G4G4I5QQ#,<,AQ+F("2"@"@"BB.$..w?AWAW 5"&!2!2!4&*ii0F0F0H&IL&X  IId&>&>&E&E&GH<W$%7$8:$E "(.;">"Ly"X,3*31#oo1#66 1-3L2K00s>2 K=KH&B3KKB5KK K K K'r3rc x >TRRbTRRUlTRRn[ TRR 5nT c(T R TRR5up4OT n0nURU5 T b [TX5mT(d[5[R:a[T S9nT(aURS5 OURS5 TR(azURS5 URTR UUSUST R"R$;aST R"R$S-OSUR&R(S9 [+UR-55 [/5(a[T S9nURTR UUSUST R"R$;aST R"R$S-OSUR&R(S9 UR-5TlT"U0UD6UR2b S R5UR25Tl[/5(a[T S9nUR6R95HnupgUR;S 5(dMUR&R=U5nURS URAS 5S 35 URCU5 Mp T=R0UR-5- sl$$![>a S nNlf=f![DaJnS[GU5;a5URHb(URHup[KXRMU 55 eSnAff=f!UR2b S R5UR25Tl[/5(a[T S9nUR6R95HupgUR;S 5(dMUR&R=U5nO![>a S nOf=fURS URAS 5S 35 URCU5 M T=R0UR-5- slff=f)N)contextzFalsifying example:zTrying example:rT)rrz# ) force_split arg_slicesleading_commentavoid_realization zgenerate:Draw z$z generate:rrg)'rtrphypothesis_runnerr|r;r} prep_args_kwargs_from_strategiesrr@rWr^rverboserltextrrr3slice_commentsproviderrr_getvaluerMrW_stateful_repr_partsr_observability_argsrrSrealizer" removeprefixpretty TypeErrorr-_sampled_from_all_strategies_elements_messager4format)r3r|r}kw argslicesprinterrrrmsg format_argrr%rr$rr text_reprs rtrun6StateForActualGivenExecution.execute_once..runs zz+)-)9)9&::??D$**++,F% ' H HJJ++! I$ MM" +%dD9  1 3y7H7H H/@ LL!67LL!23((LL%%% $(#, &)D)DD!7<<#>#>v#FF!%*.--*I*I& w'')*$&&/@!!MM $("W\\%@%@@w||::6BB!&*mm&E&E" %,$4$4$6! <T,V,,,8(, $2K2K(LD%(**3GDG'+'?'?'E'E'G ??+;<<O(, (=(=e(D$LL2d.?.? .L-MR)PQ#NN51(H%%)9)9);;%+ $8O(NO) %A.JJV&*&X&XOCQ : 67 ,,8(, $2K2K(LD%(**3GDG'+'?'?'E'E'G ??+;<<O(, (=(=e(D#7O(NO#LL2d.?.? .L-MR)PQ#NN51(H%%)9)9);;%+s] M M MM N,"AN''N,,N//A9R9-Q R9 Q R9Q A!R9)r#rc3Z# UH!upURS5(dMUv M# g7f)zexecute:N)rSr*s rtr.s'* =||J/A =s+ +z;Unreliable test timings! On an initial run, this test took iz.2fz#ms, which exceeded the deadline of z$ms, but on a subsequent run it took z ms, which did not. If you expect this sort of variability in your test timings, consider turning deadlines off for this test by setting deadline=None.z*Failed to reproduce exception. Expected: z Hypothesis zY produces unreliable results: Falsified on the first call but did not on a subsequent one)rrWrrrMrVrr9rrBrrrper_test_case_context_managerrrr#rrrXrr_rrr&)rr3r$r#rr%r rr traceback runtime_secsrrr s`````` @@@rtrD)StateForActualGivenExecution.execute_onces(" == ! ! )2G2I2I TYY  6  6 TYY #  # JW ))$4?  ! *  '#3 I)%566 $ * $ 5 5 ; ; =*!  !!*!2!2!@!@!BT!I# NO6}}--;;=DSIJ33?$3Fs2KLL L DyPQi[)NN    C?>   !  * )sT* H%5H H(G0 ;HH H%0 G> :H H H H" H%% H4rrcTURceURVs/sH7nX0RR;dMURRUPM9 nnUVs/sHoURPM nnUR U5 [ UR U5$s snfs snfrq)r_interesting_originsinteresting_examplesexpected_exceptionrr&r)rrroriginrrrs rt_flaky_replay_to_failure5StateForActualGivenExecution._flaky_replay_to_failures||'''22 2::: 6DLL - -f 52  ?SS>RF//>R S'"CJJ 33 TsB B "B%r3c[5n[UR5S9nURU5nUR[ R :Xa9UR(a(URSRUR5 URnSSS5 WbA[URSURRSU<S3[R5 URjRmURn5Ul7[q5(Ga[sUS S5=n (a U Rtn O'URZ(dURd(aSn OSn SURRv<3URRvS:g=(a [sU SS5(+-n URjRmURx5Ul<URjRmURz5Ul=UR}5 [URURUSU SU 3URzURxUR[U5=(d SU URjR5S9 n [U 5 URjRSS9HnUR"S0UD6 M 0UlBg!URnf=f!,(df  GNS=f![ aKnUR#UR$5 SnAGN>![&anUR)Xe5SeSnAff=fSnAf[*[,4a e[./[15Q7a e[35Gan[5U[65(aF[9UR:5S:Xa-UR:SR<=(d UR<nO UR<n[>R@"U5SSn[CU5(aO[5U[D5(d:URGS [HRJS [HRJS 35(deURL(a[+URN5Ue[Q5n[SXW5Ul*XQl+URTce[YURT5 S Ul-[\R^"U5n U(aURU RU5 U R`[b:Xa!S Ul2URRg5 URiU 5 SnAGNv![&anUR)Xe5SeSnAff=fSnAff=f![,a 0Ul7GNf=f![,a 0Ul<GNf=f![,a SUl=GNf=f!URjRmURn5Ul7O![,a 0Ul7Of=f[q5(Ga[sUS S5=n (a U Rtn O'URZ(dURd(aSn OSn SURRv<3URRvS:g=(a [sU SS5(+-n URjRmURx5Ul<O![,a 0Ul<Of=fURjRmURz5Ul=O![,a SUl=Of=fUR}5 [URURUSU SU 3URzURxUR[U5=(d SU URjR5S9 n [U 5 URjRSS9HnUR"S0UD6 M 0UlBf=f)a3Wrapper around ``execute_once`` that intercepts test failure exceptions and single-test control exceptions, and turns them into appropriate method calls to `data` instead. This allows the engine to assume that any exception other than ``StopTest`` must be a fatal error, and should stop the entire engine. ) should_traceNz/Tests run under @given should return None, but z returned z instead.rrrinternal conjecturezprovider_conformance.pyTrrunknownz, using backend=r_switch_to_hypothesis_providerFz.zduring z phase) r1r2r3r4r5rr6coveragephasebackend_metadata test_caselifetimerr)H frozensetrZrrDstatusr:VALIDbranchesrrIrHrrrr return_valuer0 mark_invalidrr'rr.r"r%rRrGrr3rr __traceback__r extract_tbrGr*endswithosseprxrrFrEexpected_tracebackrr`rrCfrom_exceptionexc_typer#rclearmark_interestingrreventsrMr_current_phasebackendrrWrTrLrUrVrXr\observe_test_caserKobserve_information_messages_deliver_information_message)rr3tracetracerrrrtbfilepathinteresting_originrr! backend_descrcrs rt_execute_once_for_engine5StateForActualGivenExecution._execute_once_for_engines!{^ 'T%7%7%9:f ,!..t4F v||3++D155fooF"OOE;!!MMEyy))**VJiI,, B !"mm33DKK@ %&&$T9d;;6;"11E++t/J/J ( )!1$--2G2G1JKMM))\9U#F,LeTT  2/3}}/D/D000D, Y(, (=(=d>O>O(PD% ""33!11$+E7&"G#'#4#4"66006u=E%)]]%D%D%F $B'==EE(FC55<<%'D !g#OOE;:$% F F!!!((++ F33C;E F./    ' )   *,= J!/00S5F!5K\\!_22Eaoo__ ++B/3A6H"8,,"1&9:: !))rvvhj8OP{{t//0a7 +,*:1*A'*+'..:::t667'+$%6%E%Ea%H"''(:;??F%..2BB26D/''--/J))*<=="J77?TIJy= JR( !   !&,2/1D,2 ,Y(XD%Y5 !"mm33DKK@ ' !   !%&&$T9d;;6;"11E++t/J/J ( )!1$--2G2G1JKMM))\9U#F,LeTT  2/3}}/D/D000D,,2/1D,2Y(, (=(=d>O>O(PD%+Y(XD%Y ""33!11$+E7&"G#'#4#4"66006u=E%)]]%D%D%F $B'==EE(FC55<<%'D !sFK8K&A(K K&A K8'*V7*V "*V8K##K&& K50K88 VL$W$ M.MMM8VGVUW U=&U88U==VVWVV V54V58W  W `*W=<`=X`XB(`:*[%$`%[96`8[99`=*\('`(\<9`;\<[;S UR,S -5:a+UR=UR>SUR,S35 [AUR 5n[CSUSSREU535e[G[HS5(a[J(duURM5(a`[NRP"5(dF[RRT"S[VS[HRXR[[V5S3[\SS9 UR4(dgURR^(a [`(dUR4SS2 /n[cURd5n U (aU R=S5 [gURhUR5nUR4Hn /n URkU Rl[oU Rl5S9n U RpU l8Sn SnU RrceU Rtce[wU R<5 URyU SSU RrU Rt4S9 SSS5 [{S5e [UURU UR(aUR(d UROSS)9 g![a% [c[ UR 5nGNySnGN~f=f!,(df  N=f![|aEn[SU Rr=(d U/5nUR=[U U55 SnAOSnAf[a2n[S U/5nUR=[U U55 SnAOSnAf[anU RXjR5 UR[55nUR=[U U55 [U[U55n [R"U5nSnAOSnAff=fU R5 [5(a[URURU S!URU RURS[HR"5S (aS"OS#[U=(d S$5S%U 0S&9 n[U5 URR(a+U R=S'[U Rl5S(35 GMCGMF!U R5 [5(a[URURU S!URU RURS[HR"5S (aS"OS#[U=(d S$5S%U 0S&9 n[U5 URR(a)U R=S'[U Rl5S(35 ff=f)+zfRun the test function many times, on database input and generated input, using the Conjecture engine. TN)rr database_keyrinfozHypothesis Statistics)rrDrE test_functionr$rc,[UR5$rq)rAnodes)ds rtru9StateForActualGivenExecution.run_engine..s hqww/rs)rzreverserz of z examples failed a .filter() or assume() condition. Try making your filters or assumes less strict, or rewrite using strategy parameters: st.integers().filter(lambda x: x > 0) fails less often (that is, never) when rewritten as st.integers(min_value=1).z\ examples were too large to finish generating; try reducing the typical size of your inputs?z!Unable to satisfy assumptions of z. z Also, monitoringz/avoiding tracing test function because tool id z is already taken by tool . stacklevelrr) max_choices)r$r#rzThis should be unreachablezInconsistent results: An example failed on the first run but now succeeds (or fails with another error, or is for some reason not runnable).z\Unreliable assumption: An example which satisfied assumptions on the first run now fails it.zminimal failing examplepassedfailedzunexpected/flaky passr) r1r2r3r4r5rr6r r' status_reasonmetadataz6 You can reproduce this example by temporarily adding z! as a decorator on your test caseunsound_backendrr)Yr!_hypothesis_internal_database_keyrrjrPrr<rBrrrrr rd statisticsrMr;rbrrr@r: call_countrr=rrvalid_examplesinvalid_examplesrroverrun_examplesrQr/rrr{r2rrZ can_tracewarningswarnrXrRget_toolr+rPrQrcbest_observed_targetsr[rnew_conjecture_datarrrrr1rarDNotImplementedErrorr.r&rr0rrr@rNrFrErCr2rTrLrUrVrWrrXexc_inforrK print_blobr_raise_to_user_verified_by_backend_backend_found_failure)r__tracebackhide__rIrrr explanationsreperrors_to_report report_linesfalsifying_exampler ran_exampler>rrr error_with_tbrcs rt run_engine'StateForActualGivenExecution.run_enginees ! $,,NNL"  ) )]];;%..     ))* " "  - --+F,=,=> .   V__ 46GHHaPTg**O*DE118C8E    !   & &'-++224/(D $ $$)! **SV5F5F!5K-LL ''!22348I8I7JKWW**SV5F5F!5K-LL ''!22348I8I7JKDD 6dii@#7uB ~~l346 C & &D""$$$$&& MMA%&&@>>**+=>?qB"  '' --449U9U(("- '(D(DE     #()<)q)AB*99!<  =""$(**&"&"7"7!%!5!5(&?'+'8'8"-"A"A#44!%+.<<>!+!+A.shortlex_keyEs'165??1-bH x00rsryz(note: z other explicit examplerz< also failed with this error; use Verbosity.verbose to view)) rrrCr2rrrrr=r4) r{ by_originrrrgroupr sorted_groupsimplest other_counts rt_simplify_explicit_errorsr4s ALD@QI"11%//B  'F!!# u:? MM%( # 1"%:L#AHe*q.K ""+&=c[ST_>U=VWNN  MM( ##$& Mrsr\cSn/nUHdnURHQn[URU5 URU5(dM1UR UR U55 MS Mf [ R(aU[ Rl[U5S:XaUSRn O?U(de[S[U5SUS3UVs/sHowRPM sn5n UR[R:aUHn [X5 M U(a[U SU<S35 U es snf) zAHelper function for attaching notes and grouping multiple errors.zFalsifying example: rrzHypothesis found z distinct failuresrSzbackend=zD claimed to verify this test passes - please send them a bug report!)rr4rrSrrrDr_hypothesis_failing_examplesrr3 verbosityrnormal) rsr target_linestrailerr]failing_prefixlsrnotethe_error_hypothesis_foundlines rtrmrmVs0,N B!OOD U__d +~.. $++N;<$"   AC!!> !%5a%8%B%B"%7$4 566H QR S*: ;*:__*: ;& " Y--- D / 6! &)*- - %$ ` and then re-raise that exception. All you need to do to reproduce, minimize, and de-duplicate all the failures found via fuzzing is run your test suite! To reduce the performance impact of database writes, |fuzz_one_input| only records failing inputs which would be valid shrinks for a known failure - meaning writes are somewhere between constant and log(N) rather than linear in runtime. However, this tracking only works within a persistent fuzzing process; for forkserver fuzzers we recommend ``database=None`` for the main run, and then replaying with a database enabled if you need to analyse failures. Note that the interpretation of both input and output bytestrings is specific to the exact version of Hypothesis you are using and the strategies given to the test, just like the :ref:`database ` and |@reproduce_failure|. Interaction with |@settings| ---------------------------- |fuzz_one_input| uses just enough of Hypothesis' internals to drive your test function with a bytestring, and most settings therefore have no effect in this mode. We recommend running your tests the usual way before fuzzing to get the benefits of health checks, as well as afterwards to replay, shrink, deduplicate, and report whatever errors were discovered. * |settings.database| *is* used by |fuzz_one_input| - adding failures to the database to be replayed when you next run your tests is our preferred reporting mechanism and response to `the 'fuzzer taming' problem `__. * |settings.verbosity| and |settings.stateful_step_count| work as usual. * The |~settings.deadline|, |~settings.derandomize|, |~settings.max_examples|, |~settings.phases|, |~settings.print_blob|, |~settings.report_multiple_bugs|, and |~settings.suppress_health_check| settings do not affect |fuzz_one_input|. Example Usage ------------- .. code-block:: python @given(st.text()) def test_foo(s): ... # This is a traditional fuzz target - call it with a bytestring, # or a binary IO object, and it runs the test once. fuzz_target = test_foo.hypothesis.fuzz_one_input # For example: fuzz_target(b"\x00\x00\x00\x00\x00\x00\x00\x00") fuzz_target(io.BytesIO(b"\x01")) .. tip:: If you expect to discover many failures while using |fuzz_one_input|, consider wrapping your database with |BackgroundWriteDatabase|, for low-overhead writes of failures. .. tip:: | Want an integrated workflow for your team's local tests, CI, and continuous fuzzing? | Use `HypoFuzz `__ to fuzz your whole test suite, and find more bugs with the same tests! .. seealso:: See also the :doc:`/how-to/external-fuzzers` how-to. ) _HypothesisHandle__cached_targetrrrs rtfuzz_one_inputHypothesisHandle.fuzz_one_inputs@n ('' ' (#'#8#8#:D '' ' (s +<<)__cached_target)rrrrrrrr2rbytes bytearray memoryviewrrrrrrsrtrrsW O Z( 59$z1H<=ut|K LZ(Z(rsrrcgrqrr)rs rtgivenr rs_given_arguments).Ncgrqrr)rs rtrr rrsrc grqrr)rs rtrrrrsc|^^[5(a#[[5S[R5 UU4SjnU$)a~ The |@given| decorator turns a function into a Hypothesis test. This is the main entry point to Hypothesis. .. seealso:: See also the :doc:`/tutorial/introduction` tutorial, which introduces defining Hypothesis tests with |@given|. .. _given-arguments: Arguments to ``@given`` ----------------------- Arguments to |@given| may be either positional or keyword arguments: .. code-block:: python @given(st.integers(), st.floats()) def test_one(x, y): pass @given(x=st.integers(), y=st.floats()) def test_two(x, y): pass If using keyword arguments, the arguments may appear in any order, as with standard Python functions: .. code-block:: python # different order, but still equivalent to before @given(y=st.floats(), x=st.integers()) def test(x, y): assert isinstance(x, int) assert isinstance(y, float) If |@given| is provided fewer positional arguments than the decorated test, the test arguments are filled in on the right side, leaving the leftmost positional arguments unfilled: .. code-block:: python @given(st.integers(), st.floats()) def test(manual_string, y, z): assert manual_string == "x" assert isinstance(y, int) assert isinstance(z, float) # `test` is now a callable which takes one argument `manual_string` test("x") # or equivalently: test(manual_string="x") The reason for this "from the right" behavior is to support using |@given| with instance methods, by automatically passing through ``self``: .. code-block:: python class MyTest(TestCase): @given(st.integers()) def test(self, x): assert isinstance(self, MyTest) assert isinstance(x, int) If (and only if) using keyword arguments, |@given| may be combined with ``**kwargs`` or ``*args``: .. code-block:: python @given(x=integers(), y=integers()) def test(x, **kwargs): assert "y" in kwargs @given(x=integers(), y=integers()) def test(x, *args, **kwargs): assert args == () assert "x" not in kwargs assert "y" in kwargs It is an error to: * Mix positional and keyword arguments to |@given|. * Use |@given| with a function that has a default value for an argument. * Use |@given| with positional arguments with a function that uses ``*args``, ``**kwargs``, or keyword-only arguments. The function returned by given has all the same arguments as the original test, minus those that are filled in by |@given|. See the :ref:`notes on framework compatibility ` for how this interacts with features of other testing libraries, such as :pypi:`pytest` fixtures. aNesting @given tests results in quadratic generation and shrinking behavior, and can usually be more cleanly expressed by replacing the inner function with an st.data() parameter on the outer @given. If it is difficult or impossible to refactor this test to remove the nested @given, you can disable this health check with @settings(suppress_health_check=[HealthCheck.nested_given]) on the outer @given. See https://hypothesis.readthedocs.io/en/latest/reference/api.html#hypothesis.HealthCheck for details.c <>^ ^ ^ ^ ^^^[R"U5(a [S5eS[R;aS[R;a[ [ [[RSRRS5SS55S:a7[U[RSR5(a [S5e[ T5n[T5m [U5m U[4:XakT (ddT RR!5Vs0sH<nUR"UR$UR&4;dM+UR([_M> snm Sn[+UT UT 5nUbU$U(aT (aeT RR!5Vs/sH*nUR"UR$LdMUR(PM, nn[[-[/USSS 2USSS 2S S 95SSS 25m A[1T T 5m S T R!5;a [3U5nT R55VVs/sHupgUS LdM UPM snnHEnUW;a![7S USUR8SUS3UT S9s $[:R<"XV5T U'MG [?SS9m 0m[A5m[CU5[EUR8URFT 5U U U U UUU4Sj55mS[H[J[L-[N-[P-/[JS-44U U UU4Sjjn[SU5HDn U RUS5(aMTU 5(aM.[YTU [[X 55 MF STl.[WUS5(aSTl/[[USS5Tl0[[USS5=(d [bRdTl3[[USS5Tl4[kXT 5Tl6T$s snfs snfs snnf)Nz#@given cannot be applied to a class_pytestz_pytest.fixturesrSr)rz,@given cannot be applied to a pytest fixturerrrFr.zpassed z =... for z, but z has no type annotationrc[$rqrirrrsrtru2given..run_test_as_given..sWrs) prev_selfc  >SnT THnSTU'M [R"5n[T5S:nUTU'SSS5 T RRn[ USS5(a[ SURS35eT Rn[UT 5n[T UUTTR5upn [R"U5(a5[U R5[ La[ SURS35eU Rn [#U R[$5(aFUR['[$5;a)[)US URS 3[*R,5 [/U 5(a"[ S [1U 5R2S 35e[ [1U R5URS5T La U ROSn TR4[6LaU TlO8U TR4La)[)US UR2S3[*R85 [;U UUUT TS9n T R<=n b_U upU[>:wa[ SUS[><S35eU RA[BRD"[GU55SSS9 [IS5e[O[QU T XT55=n(a[U5S:XdU RRRT(de[#USRV[Y55(aUSS2 U RRRZ[\R^:a [aU5n[cUU RR/S5 [dRfU RRRh;=(a [ T SS5n[jRl"S5n[dRnURh;d7[dRpURh;dU(dUeT TW SSS5 g[#U [$5(aV[sU S5(aEU Rtn[vRx"[zU 5U l:U R}5 UU l:OU R}5 U(dU R(dUeT TW SSS5 g!,(df  GN=f![Ja [IS5Se[La [IS5Sef=f!,(df  g=f!UU l:f=f![~anT RnU RceU RRRS5S:Hn[U5 UbOU R(aU(a7[(aS U3OS!nU(a S"US#US$3nO S%US#US$3n[U5 UR[#U[5(aS5nUe[55nUe!,(df  SnAGN}=fSnAff=f!,(df  g=f!T TW SSS5 f!,(df  f=f=f)&NTrrFz$You have applied @given to the test a  more than once, which wraps the test several times and is extremely slow. A similar effect can be gained by combining the arguments of the two calls to given. For example, instead of @given(booleans()) @given(integers()), you could write @given(booleans(), integers())z=Hypothesis doesn't know how to run async test functions like z. You'll need to write a custom executor, or use a library like pytest-asyncio or pytest-trio which can handle the translation for you. See https://hypothesis.readthedocs.io/en/latest/details.html#custom-function-executionz&You have applied @given to the method z_, which is used by the unittest runner but is not itself a test. This is not useful in any way.z'You have applied @given to a method on z, but this class does not inherit from the supported versions in `hypothesis.extra.django`. Use the Hypothesis variants to ensure that each example is run in a separate database transaction.z The method aU was called from multiple different executors. This may lead to flaky tests and nonreproducible errors when replaying from database. Unlike most health checks, HealthCheck.differing_executors warns about a correctness issue with your test. We therefore recommend fixing the underlying issue, rather than suppressing this health check. However, if you are confident this health check can be safely disabled, you can do so with @settings(suppress_health_check=[HealthCheck.differing_executors]). See https://hypothesis.readthedocs.io/en/latest/reference/api.html#hypothesis.HealthCheck for details.rz_Attempting to reproduce a failure from a different version of Hypothesis. This failure is from z , but you are currently running z:. Please change your Hypothesis version to a matching one.)r$r#zCExpected the test to raise an error, but it completed successfully.zThe shape of the test data has changed in some way from where this blob was defined. Are you sure you're running the same test?zkThe test data failed to satisfy an assumption in the test. Have you added it since this blob was generated?rrz in explicit examplesrrrz:Hypothesis has been told to run no examples for this test.subTestzstopped-becausezshrinking was very slowz., or by running pytest with --hypothesis-seed=rz This test function exited early because it took too long to shrink. If desired for debugging, you can reproduce this by adding @seed(z) to this testrSz/You can reproduce this failure by adding @seed()Lrrrrrrr,rrrmrurinspectiscoroutinefunctionrrprrrdirrHrnot_a_test_methodr5rrrrjdiffering_executorsr9rrmrDr9rCrr$r.r0rrerrPrrRrrrrrmrrArBrwr}reusegeneraterrtypes MethodTyperrxrrhrr_rrrrrunning_under_pytestr_rNr3rFr)!rr}rpoverlap_thread_idthreadidhas_existing_threadsrrrrtrcur_selfrYrexpected_versionfailurer{ran_explicit_examplesSKIP_BECAUSE_NO_EXAMPLESrrgenerated_seedstopped_because_slow_shrinkingpytest_extra_msgrrr new_signaturer  thread_localrthread_overlap_lockrs! rtr6given..run_test_as_given..wrapped_testsx!% $)7%8':Q'>$+?x(%q 1#..994!5u==)>t}}oN99(II4T<H+E  !,, ,( 5//55$U[[15EE *W==/*ZZekk844#h-9W% @P99$55 'v..)A<445600tEKK0$--F,VKK  ))W4-5L*\%;%;;% %d&7&7%8 9' '$77!&5 #1 *6)`)``%1B-$';6-KK[J\]99DHDD $***66~g7NO*.%)+ .6$"-|Y 6v;!+u~~/R/RRR "&*"6"68R8TUU"3B3K~~//)2C2CC";6!B"65>>2?VW NNenn&;&;;R .LbQ&,4+<+<P,(KK8??2enn6W066H)&x0)(E=9!&(33 8R8R"(..5-2-=-=lF-SFN!,,.-4FN((*l.1D1D22(&x0)(u%$D$$-< $ $ 1$-U $$$d)(w.5FN%39 %LL#!==444 00445FG453(1)5 % 5 59W$8#7%99G8H%J&( - >%NN\M]^33C2DA%G!$%--;,^^^^ T RRn[T RSS9m[ UT 5n[ T S0T T R 5up#nU(aeU(ae[UUTUT T S9m [U5S-m0mS[[-[-[-S[S-4UUUU 4Sjjn[RRUlU$)N)parentrrrrs .secondarybufferrc>[U[R5(aUR[5n[U[ [ [45(de[S[SU0S9nTRU5 [Rn[5(a~UR!5 [#TR$TR&USTR(UR*TR,SUUR.R15S9 n[3U5 0Tl[UR.[5(de[ UR.RL5$![a URn[5(aUR!5 [#TR$TR&USTR(UR*TR,SUUR.R15S9 n[3U5 0Tlgg[4a [R6n[5(aUR!5 [#TR$TR&USTR(UR*TR,SUUR.R15S9 n[3U5 0Tlgg[8a TR;UR<5nTR>bmUb"[AURB5[AU5::aHTR>RET[GURH55 URBTUR<'[RJnef=f![5(aUR!5 [#TR$TR&USTR(UR*TR,SWUR.R15S9 n[3U5 0Tlff=f)N bytestring)rr provider_kwr) r1r2r3r4r5rr6r r'r")'rioIOBasereadr;rrrr9r?rDr:r(r.r'rMrTrLrUrVrWrrXrr9rKr0rMrrrr@rrArMsaver!r INTERESTINGdrawn) rr3r'rcknownrIminimal_failuresrrYs rtrRgiven..run_test_as_given.._get_fuzz_target..fuzz_one_input sV fbii00#[[5F!&5)Z*HIIII%/!-v 6 $4&&t,#\\F&-.. *&+&<&<%*%:%:!%*:+0+=+=&*&>&>#(#9#9%)#)-1]]-L-L-N ,B/13.!$--1CDDDDT]]0011I  ![[F -.. *&+&<&<%*%:%:!%*:+0+=+=&*&>&>#(#9#9%)#)-1]]-L-L-N ,B/13./- #^^F-.. *&+&<&<%*%:%:!%*:+0+=+=&*&>&>#(#9#9%)#)-1]]-L-L-N ,B/13./% ,001H1HIE((4 $**)=%)P ))..(*:4<<*HEIJJ()@)@A#//F -.. *&+&<&<%*%:%:!%*:+0+=+=&*&>&>#(#9#9%)#)-1]]-L-L-N ,B/13./s2*!EM/M?MM(B0MMBO+)rrrrrmrurr9rPrrrrrrr)rr_args_kwargsrtrrIrrrYrrrrs @@@@rtr:given..run_test_as_given.._get_fuzz_targets **55D#EEPTH1|DF$>b"lM4L4L% !EE 9 ;0- E+40=@L &( 4 2 )J6A4 24 24 2l&6%D%D%L%LN "! !rsrT%_hypothesis_internal_settings_appliedrrr)7risclassr,r{r|rmaprzrmrrFixtureFunctionDefinitionr;rREllipsisrrrrrrrrr<rr6rrrst from_typerkrrSrOrrrrrrrrSrsetattrrrrrrr~rrrr)rr r check_invalidrZhintsrrrattribrrr rrrrrrs @@@@@@@rtrun_test_as_given given..run_test_as_givens ??4 ""GH H  $"ckk1c#s{{95AAGGLRaPQRckk"45OO""PQ Q 01M* $T* xk ),&007799A66a55q~~FF! 9L !O' ,  $  # ##&007799A66Q4449   S2"(=eLMdPRdSL +L,G  ,%%' '"4(E-9-?-?-AR-AkdUc\T-ARD5 dV9T]]O6$H))!-  "$ek!:L S#_= +-"f T  "4==$,, N~ 1~ 1 O ~ 1@\ " ei'*4x?@%$,N O\ "\ "B$iF%%c**glF.K.K fgd.CD +/ ' 4@ A AAEL >5< 146 2 D=t D XHXHX 6CJ >C ?#34<"X Y ( Ss$'*PP.PP PP)rrHrr nested_given)rrrs`` rtrrs;D!"" J   $ $ EN rs)rrrI specifierrrrrIc^^Uc [SS9n[U[[5SS9nUcURb [ T5n[ U[ 5(d%[SU<S[U5R35eUR5 /mU[U5UU4Sj55nUb [URS55"U5nXElU"5 [![#T55e![a TS s$f=f) ztReturns the minimal example from the given strategy ``specifier`` that matches the predicate function ``condition``.i) max_examplesF)suppress_health_checkrPz Expected SearchStrategy but got z of type c8>T"U5(a U/TSS&[egrq)r()r+rlasts rtrfind..testv s# Q<<cDGK rs@r)rrrrrPrrgr,rrrsrrrlr^r(r-rQ)rrrrrIrrs ` @rtfindrW s.[(9PUH 1 1 ='y1 i 0 0.ym<O,,- /  D  9 F&&r*+D1-9*  7 B CC AwsC--C?>C?)rrq)rrrJrrrrrr/r{rrrrrwrer collectionsrcollections.abcrrrrrr r r functoolsr rrrrrtypingrrrrrrrrhypothesis._settingsrrrrrrrhypothesis.controlrrhypothesis.databaser r!hypothesis.errorsr"r#r$r%r&r'r(r)r*r+r,r-r.r/r0hypothesis.internalr1hypothesis.internal.compatr2r3r4r5r6r7%hypothesis.internal.conjecture.choicer8#hypothesis.internal.conjecture.datar9r:%hypothesis.internal.conjecture.enginer;r<)hypothesis.internal.conjecture.junkdrawerr=r>(hypothesis.internal.conjecture.providersr?r@'hypothesis.internal.conjecture.shrinkerrAhypothesis.internal.entropyrBhypothesis.internal.escalationrCrDrErFrGhypothesis.internal.healthcheckrH!hypothesis.internal.observabilityrIrJrKrLrMhypothesis.internal.reflectionrNrOrPrQrRrSrTrUrVrWhypothesis.internal.scrutineerrXrYrZr[r\hypothesis.internal.validationr]hypothesis.reportingr^r_r`rahypothesis.statisticsrbrcrd$hypothesis.strategies._internal.miscre*hypothesis.strategies._internal.strategiesrfrgrhhypothesis.utils.conventionsrjhypothesis.utils.threadingrkhypothesis.vendor.prettyrlhypothesis.versionrmrnrrQrjrkrzrrrrrrrrrrrrermroobjectr;rrurRrrrGrrrrrrcontextmanagerrr9rrmrrrrrrrrsrtrsM     #XX( 'GD".:FO=:>   6 YX8 12:* :X .# LA  e$&&%& d#$\\~'x'HhZ%9:'Zs%HhZ=Q4R>OHW$5O#O"HW-"%"8G#48- > Bj&Z( e$%!$!$!$ f !$sN*+ !$ i !$  8F T#v+. 56 !$H.( U4 +>+C%D  6 C}%/2tAw .N9-=#>.N.Nb\  \  ~d?&;_@UF79"%MQ"%J   $ u%n(n(&n(b   c9S#t^,t3345xD7II  %c*  c9S#t^,t3345x 7JJ  #C(<7  c9S#t^,t3345x 7JJ y%c*\9y#C(<7yxYsC~6==>?)ATTUy@!% !% 0Db!0Dt $0Do 0D TM 0D $, 0D0Drs