iKj nUddlZddlZddlZddlZddlZddlmZddlmZm Z m Z m Z m Z m Z ddlmZddlmZmZddlmZddlmZddlmZdd lmZmZmZmZmZmZm Z m!Z!dd l"m#Z#m$Z$m%Z%m&Z&m'Z'm(Z(m)Z)dd l*m+Z+dd l,m-Z-dd l.m/Z/m0Z0m1Z1m2Z2m3Z3m4Z4m5Z5m6Z6m7Z7m8Z8m9Z9m:Z:m;Z;mm?Z?m@Z@ddlAmBZBmCZCmDZDddlEmFZFddlGmHZHddlImJZJmKZKmLZLmMZMddlNmOZOddlPmQZQddlRmSZSddlTmUZUddlVmWZWmXZXddlYmZZZddl[m\Z\ddl]m^Z^erddl_m`Z`ddlambZbddlcmdZdddlemfZfdegd efd!Zhed"ZiejegekelzfZmeneke5e1e3dzfZoeepd#<eFd$ZqeFd%Zrd&Zse\ek'ZtGd(d)eZued*d*+Gd,d-ZviZwejekevfepd.<d/ekd evfd0Zxe+d1Zye+ened2fe1fepd3<ekezege{elejejejejejf Zened2fepd4<eWd5ZGd6d7ZGd8d9ZGd:d;eZGd<d=ZGd>d?eZGd@dAeZGdBdCeZGdDdEeZGdFdGeZGdHdIeZGdJdKZGdLdMZeZGdNdOZed*d*+GdPdQZGdRdSZdTe5dUe1dVed e3fdWZy)XN) defaultdict)Callable GeneratorHashableIterableIteratorSequence)contextmanager) dataclassfield)IntEnum)cached_property)Random) TYPE_CHECKINGAnyLiteralNoReturn TypeAliasTypeVarcastoverload) CannotInvertCannotProceedScopeTChoiceTooLargeFlakyStrategyDefinitionFrozenInvalidArgumentStopTest)LRUCache)add_note)BooleanConstraintsBytesConstraintsChoiceConstraintsT ChoiceNodeChoiceTChoiceTemplate ChoiceTypeTFloatConstraintsIntegerConstraintsStringConstraints ValueHolechoice_constraints_keychoice_from_indexchoice_permitted choice_size)IntListgc_cumulative_time)COLLECTION_DEFAULT_MAX_SIZEHypothesisProviderPrimitiveProvider)calc_label_from_name)InterestingOrigin)SMALLEST_SUBNORMAL float_to_int int_to_floatsign_aware_lte) IntervalSet)PredicateCounts)function_location) debug_report)UniqueIdentifiernot_set)note_deprecation) ThreadLocal) ArgLabelsT)SearchStrategy) DataObject) RandomState)ExnamereturncV|dk(rddlm}tdddd|Std |) NAVAILABLE_PROVIDERSr)rKzhypothesis.internal.conjecture.data.AVAILABLE_PROVIDERS has been moved to hypothesis.internal.conjecture.providers.AVAILABLE_PROVIDERS.z 2025-01-25F)since has_codemod stacklevelz>Module 'hypothesis.internal.conjecture.data' has no attribute )(hypothesis.internal.conjecture.providersrKrAAttributeError)rHrKs h/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/internal/conjecture/data.py __getattr__rS\sD $$P L  #"  HO T MisalignedAttopz)a collection with a uniqueness constraintd)global_test_counterc(eZdZdZdZdZdZdefdZy)StatusrrLrIc d|jS)NzStatus.)rHselfs rR__repr__zStatus.__repr__s $$rTN) __name__ __module__ __qualname__OVERRUNINVALIDVALID INTERESTINGstrrarTrRr[r[|s"GG EK%#%rTr[T)slotsfrozenceZdZUeed<y)StructuralCoverageTaglabelN)rbrcrdint__annotations__rjrTrRrnrns JrTrnSTRUCTURAL_COVERAGE_CACHErocr t|S#t$r"tj|t|cYSwxYwN)rrKeyError setdefaultrnros rRstructural_coveragerxs>Y(// Y(33E;PQV;WXXYs  (66i.POOLED_CONSTRAINTS_CACHE_RECORDABLE_VALUE_TYPESno_recorded_valueceZdZdZdZdddeddfdZd edefd Z d edefd Z de fd Z e defd Ze dedzfdZe defdZe defdZe defdZe defdZe defdZe ddZe defdZy)SpanauA span tracks the hierarchical structure of choices within a single test run. Spans are created to mark regions of the choice sequence that are logically related to each other. For instance, Hypothesis tracks: - A single top-level span for the entire choice sequence - A span for the choices made by each strategy - Some strategies define additional spans within their choices. For instance, st.lists() tracks the "should add another element" choice and the "add another element" choices as separate spans. Spans provide useful information to the shrinker, mutator, targeted PBT, and other subsystems of Hypothesis. Rather than store each ``Span`` as a rich object, it is actually just an index into the ``Spans`` class defined below. This has two purposes: Firstly, for most properties of spans we will never need to allocate storage at all, because most properties are not used on most spans. Secondly, by storing the spans as compact lists of integers, we save a considerable amount of space compared to Python's normal object size. This does have the downside that it increases the amount of allocation we do, and slows things down as a result, in some usage patterns because we repeatedly allocate the same Span or int objects, but it will often dramatically reduce our memory usage, so is worth it. )indexownerrSpansr~rINc ||_||_yrt)rr~)r`rr~s rR__init__z Span.__init__s  rTotherc||uryt|tstS|j|juxr|j|jk(S)NT isinstancer}NotImplementedrr~r`rs rR__eq__z Span.__eq__sA 5=%&! ! ekk)J ekk0IJrTc||uryt|tstS|j|juxs|j|jk7S)NFrrs rR__ne__z Span.__ne__sA 5=%&! ! %++-M4::3LMrTc"d|jdS)Nzspans[])r~r_s rRraz Span.__repr__s |1%%rTcv|jj|jj|jS)zA label is an opaque value that associates each span with its approximate origin, such as a particular strategy class or a particular kind of draw.)rlabels label_indicesr~r_s rRroz Span.labels, zz  !9!9$**!EFFrTch|jdk(ry|jj|jS)z>The index of the span that this one is nested directly within.rN)r~r parentager_s rRparentz Span.parents+ ::?zz##DJJ//rTcH|jj|jSrt)rstartsr~r_s rRstartz Span.startszz  ,,rTcH|jj|jSrt)rendsr~r_s rRendzSpan.endszztzz**rTcH|jj|jS)z[ Depth of this span in the span tree. The top-level span has a depth of 0. )rdepthsr~r_s rRdepthz Span.depths zz  ,,rTcF|j|jjvS)a[True if this is span's ``stop_span`` call had ``discard`` set to ``True``. This means we believe that the shrinker should be able to delete this span completely, without affecting the value produced by its enclosing strategy. Typically set when a rejection sampler decides to reject a generated value and try again.)r~r discardedr_s rRrzSpan.discardedszzTZZ1111rTc4|j|jz S)z#The number of choices in this span.)rrr_s rR choice_countzSpan.choice_countsxx$**$$rTc|jj|jDcgc]}|j|c}Scc}w)zOThe list of all spans with this as a parent, in increasing index order.)rchildrenr~r`is rRrz Span.children s3(,zz':':4::'FG! 1 GGGs?c|jjj|jt}t |t jr|}|tS|S|S)zThe value produced by the strategy draw corresponding to this span, or the ``no_recorded_value`` sentinel if no value was recorded, or if a weakly-referenced value has since been collected.)r span_valuesgetr~r{rweakref ReferenceType)r`valuereferents rRrecorded_valuezSpan.recorded_valuesR  &&**4::7HI eW22 3wH(0(8$ Fh F rT)rIz list[Span])rbrcrd__doc__ __slots__rprobjectboolrrrirapropertyrorrrrrrrrrrjrTrRr}r}sU6#IgcdKFKtKNFNtN&#&GsGG 0d 00 -s--+S++-s-- 2422%c%%HH rTr}cxeZdZdZddZdefdZdeddfdZde ddfd Z d ededdfd Z d ede ddfd Z defd Z y) SpanPropertyaThere are many properties of spans that we calculate by essentially rerunning the test case multiple times based on the calls which we record in SpanProperty. This class defines a visitor, subclasses of which can be used to calculate these properties. c<g|_||_d|_d|_yNr) span_stackspans span_countr)r`rs rRrzSpanProperty.__init__(s%' rTrIc|jjD]}|tjk(r|j d)|tj k(r|j dO|tj k(r|xjdz c_x|j|tj z dz |jS)zZRerun the test case with this visitor and return the results of ``self.finish()``.TrFrL) rtrail TrailTypeSTOP_SPAN_DISCARD_SpanProperty__popSTOP_SPAN_NO_DISCARDCHOICEr_SpanProperty__pushfinishr`records rRrunzSpanProperty.run.sjj&& ;F444 T *9999 U +9+++!!Q&! FY%5%559: ;{{}rT label_indexNc|j}|t|jksJ|j|||xjdz c_|jj |y)N)rrL)rlenr start_spanrappend)r`rrs rR__pushzSpanProperty.__push>sQ OO3tzz?""" {3 1 q!rTrc^|jj}|j||y)Nr)rpop stop_span)r`rrs rR__popzSpanProperty.__popEs$ OO   ! qI.rTrcy)zCalled at the start of each span, with ``i`` the index of the span and ``label_index`` the index of its label in ``self.spans.labels``.Nrjr`rrs rRrzSpanProperty.start_spanIrTcy)zCalled at the end of each span, with ``i`` the index of the span and ``discarded`` being ``True`` if ``stop_span`` was called with ``discard=True``.Nrjr`rrs rRrzSpanProperty.stop_spanNrrTctrt)NotImplementedErrorr_s rRrzSpanProperty.finishSs!!rT)rr)rbrcrdrrrrrprrrrrrrjrTrRrrs~ S "#"$"/$/4//C/c/d/ -3-d-t- ""rTrceZdZdZdZdZy)rrLr\r]N)rbrcrdrrrrjrTrRrrWs FrTrc\eZdZdZddZddZddZdeddfdZd e ddfd Z d ed e ddfd Z y) SpanRecordaRecords the series of ``start_span``, ``stop_span``, and ``draw_bits`` calls so that these may be stored in ``Spans`` and replayed when we need to know about the structure of individual ``Span`` objects. Note that there is significant similarity between this class and ``DataObserver``, and the plan is to eventually unify them, but they currently have slightly different functions and implementations. rINchg|_i|_t|_g|_d|_i|_yr)r_SpanRecord__index_of_labelsr0rnodesrrr_s rRrzSpanRecord.__init__ks2!# 8:Y ') +-rTcd|_yrt)rr_s rRfreezezSpanRecord.freezeus !%rTcV|jjtjyrt)rrrrr_s rR record_choicezSpanRecord.record_choicexs )**+rTrocz|jJ |j|}|j j tjdz|z|xjdz c_ y#t$rM|jj|t|j}|jj |YwxYwNrL) rrurvrrrrrrr)r`rors rRrzSpanRecord.start_span{s%%111 &&&u-A )**Q.23 1  &&&11%T[[9IJA KK  u % &sA$$AB:9B:discardc|r*|jjtjy|jjtjyrt)rrrrr)r`rs rRrzSpanRecord.stop_spans5  JJ  i99 : JJ  i<< =rT span_indexrct|tvr||j|<y tj||j|<y#t $rYywxYwrt)typerzrrref TypeError)r`rrs rRrecord_value_for_spanz SpanRecord.record_value_for_spansQ ;1 1+0D  Z ( /6{{5/A  ,  s"A AArIN) rbrcrdrrrrrprrrrrrjrTrRrr`sV.&,>D>T>  C D rTrc^eZdZd fd ZdededdfdZdededdfdZdee e ffd Z xZ S) _starts_and_endsrINct||tjt |j |_tjt |j |_yrt)superrr0 of_lengthrrrrr`r __class__s rRrz_starts_and_ends.__init__sD ''DJJ8 %%c$**o6 rTrrc6|j|j|<yrt)rrrs rRrz_starts_and_ends.start_spans** ArTrc6|j|j|<yrt)rrrs rRrz_starts_and_ends.stop_spans(( ! rTc2|j|jfSrt)rrr_s rRrz_starts_and_ends.finishs TYY''rTrrrIN) rbrcrdrrprrrtupler0r __classcell__rs@rRrrsR7 +C+c+d+)3)d)t)(gw./(rTrcFeZdZdfd ZdeefdZdededdfdZxZ S) _discardedrINcBt||t|_yrt)rrsetresultrs rRrz_discarded.__init__s  # rTc,t|jSrt) frozensetrr_s rRrz_discarded.finishs%%rTrrc@|r|jj|yyrt)raddrs rRrz_discarded.stop_spans  KKOOA  rTr) rbrcrdrrrprrrrrs@rRrrs2&& #&3dtrTrc@eZdZdfd ZdededdfdZdefdZxZ S) _parentagerINc~t||tjt |j |_yrtrrr0rrrrrs rRrz_parentage.__init__* ''DJJ8 rTrrcH|dkDr|jd|j|<yy)Nr)rrrs rRrz_parentage.stop_spans$ q5!__R0DKKN rTc|jSrtrr_s rRrz_parentage.finish {{rTr) rbrcrdrrprrr0rrrs@rRrrs.9131d1t1rTrc@eZdZdfd ZdededdfdZdefdZxZS) _depthsrINc~t||tjt |j |_yrtrrs rRrz_depths.__init__rrTrrcHt|j|j|<yrt)rrrrs rRrz_depths.start_spansT__- ArTc|jSrtr r_s rRrz_depths.finishr rTr rbrcrdrrprr0rrrs@rRrrs.9.C.c.d.rTrc@eZdZdfd ZdededdfdZdefdZxZS) _label_indicesrINc~t||tjt |j |_yrtrrs rRrz_label_indices.__init__rrTrrc"||j|<yrtr rs rRrz_label_indices.start_spans$ ArTc|jSrtr r_s rRrz_label_indices.finishr rTrrrs@rRrrs.9%C%c%d%rTrcjeZdZd fd ZdededdfdZdededdfdZdee e eeffd Z xZ S) _mutator_groupsrINcZt||tt|_g|_yrt)rrrrgroups _unique_stackrs rRrz_mutator_groups.__init__s$ 7B37G (*rTrrc4|jsP|j|j|j|jf}|j|j ||jj |tk(r|jj|yyrt) rrrrrrrUNIQUE_COLLECTION_LABELr)r`rrkeys rRrz_mutator_groups.start_spans|!!::a=&& 1 (9(9:C KK $ ( ( - ::  [ )-D D    % %a ( ErTrcx|jr.|jd|k(r|jjyyy)Nr )rrrs rRrz_mutator_groups.stop_spans7   $"4"4R"8A"=    " " $#> rTcz|jjDcgc]}t|dk\s|c}Scc}w)Nr\)rvaluesr)r`gs rRrz_mutator_groups.finishs/ ;;--/?a3q6Q;???s88r) rbrcrdrrprrrrrrrrrs@rRrrs\+ )C )c )d )%3%d%t%@U38_!56@rTrcFeZdZdZdeddfdZedeeeffdZ e defdZ e defdZ ede efd Zedefd Zedefd Zedefd Zedeeeeeffd Ze deeefdZdefdZdedefdZdeefdZy)raA lazy collection of ``Span`` objects, derived from the record of recorded behaviour in ``SpanRecord``. Behaves logically as if it were a list of ``Span`` objects, but actually mostly exists as a compact store of information for them to reference into. All properties on here are best understood as the backing storage for ``Span`` and are described there. rrINc(|j|_|j|_|j|_|jjtj |jjtj z|_d|_yrt) rrrcountrrr_Spans__length_Spans__childrenrs rRrzSpans.__init__sk\\ mm !-- ((  ' ' LL  y== >? 7;rTc4t|jSrt)rrr_s rRstarts_and_endszSpans.starts_and_endss%))++rTc |jdSrr*r_s rRrz Spans.starts##A&&rTc |jdSrr,r_s rRrz Spans.endsr-rTc4t|jSrt)rrr_s rRrzSpans.discarded$##%%rTc4t|jSrt)rrr_s rRrzSpans.parentager0rTc4t|jSrt)rrr_s rRrz Spans.depths"st}  ""rTc4t|jSrt)rrr_s rRrzSpans.label_indices&sd#''))rTc4t|jSrt)rrr_s rRmutator_groupszSpans.mutator_groups*st$((**rTc@|jtt|Dcgc] }t}}t |j D]\}}|dkDs ||j |!t |D] \}}|r d||<||_|jScc}w)Nrrj)r(rangerr0 enumeraterr)r`_rrpcs rRrzSpans.children.s ?? "+0T+;&&&7&&###*w**+SsCx%9 :++ $x}-  ST(4.rTrc<eZdZUejZeed<defdZy)_OverrunstatusrIcy)NOverrunrjr_s rRraz_Overrun.__repr__RsrTN) rbrcrdr[rerIrqrirarjrTrRrHrHOs^^FF##rTrHceZdZdZdededzddfdZddZded e d e ddfd Z de d e d e ddfd Zded ed e ddfd Zded ed e ddfdZde d ed e ddfdZy) DataObserverzObserver class for recording the behaviour of a ConjectureData object, primarily used for tracking the behaviour in the tree cache.rIinteresting_originNrIcy)zCalled when ``conclude_test`` is called on the observed ``ConjectureData``, with the same arguments. Note that this is called after ``freeze`` has completed. Nrjr`rIrNs rR conclude_testzDataObserver.conclude_test^rrTcy)z5Mark this part of the tree as not worth re-exploring.Nrjr_s rR kill_branchzDataObserver.kill_branchirrTr constraints was_forcedcyrtrjr`rrTrUs rR draw_integerzDataObserver.draw_integerl rTcyrtrjrWs rR draw_floatzDataObserver.draw_floatqrYrTcyrtrjrWs rR draw_stringzDataObserver.draw_stringvrYrTcyrtrjrWs rR draw_byteszDataObserver.draw_bytes{rYrTcyrtrjrWs rR draw_booleanzDataObserver.draw_booleanrYrTr)rbrcrdrr[r6rQrSrpr)rrXfloatr(r[rir*r]bytesr"r_r!rarjrTrRrMrMYs(    .4     D  *< JN    ,< JN    *; IM    ,< JN    += KO  rTrMceZdZUdZeed<edzed<eddZe e dfed<e ed <e e ed <edzed <e dzed <eed <eed<eeed<eddZeed<edZee ed<edZee dze fed<edZedzed<edZedzed<ddZede edffdZ y)ConjectureResultzResult class storing the parts of ConjectureData that we will care about after the original ConjectureData has outlived its usefulness.rINrNF)reprcompare.rlengthnotesexpected_exceptionexpected_traceback has_discardstarget_observationstagsr)rf arg_spans span_comments misaligned_atcannot_proceed_scoperIc|Srtrjr_s rR as_resultzConjectureResult.as_results rTc:td|jDS)Nc34K|]}|jywrtr.0nodes rR z+ConjectureResult.choices..s7DTZZ7)rrr_s rRchoiceszConjectureResult.choicess7DJJ777rT)rIre)!rbrcrdrr[rqr6r rrr$rprFri BaseExceptionrTargetObservationsrrnrrrorrpdictrqrVrrrrtrr%r}rjrTrRreres N)D00$)ue$DE5S !D K 9%,,d "++ ) **eU3E53U+Is3x+,1e+eddfd?Z5d@eddfdAZ6 d^dBdCdDedzdEedzddFfdGZ7edefdHZ8e9de:efdIZ;e9dDede:e<fdJZ=dDeddfdKZ>dLdMdNeddfdOZ?ede@fdPZAd`dQZBdd"d2dReeCdeCdzdedeCfdSZD dadTeEdUeFdzdeGfdVZHdUeFdeGfdWZI daddXdYedzdZedzdeGfd[ZJdeGfd\ZKdedzfd]ZLy)bConjectureDataN)observerproviderrandomr}rrrrIc4ddlm}|||||||S)Nr)r) max_choicesrprefixrr)%hypothesis.internal.conjecture.enginer)clsr}rrrrs rR for_choiceszConjectureData.for_choicess) G$W-   rT)rrrr provider_kwrrrcddlm}| t}|i}n"t|tst d|d|dt|tsJ||_||_||_d|_ ||_ d|_ d|_ g|_ tj|_d|_t$j&|_t$xj&dz c_t+j,|_t1|_i|_d|_i|_t;t<|_d|_ d|_!d|_"d|_#t|tr ||fi|n||_$t|jHtJsJd|_&i|_'tQ|_)g|_*d|_+d|_,t[|_.tQ|_/i|_0i|_1t;td|_3d|_4d|_5d|_6i|_7d|_8d|_9d|_:d|_;tx|_=d|_>d|_?||_@d|_Ag|_Bd |_Cd|_Dd|_E|jty) Nr) BUFFER_SIZEzExpected provider=z! to be a class since provider_kw=z) was passed, but got an instance instead.FrLr rj)HrrrMrrrrr max_lengthoverdraw_randomrhr~rir[rgrIrl threadlocalrY testcountertime perf_counter start_timer1 gc_start_timeeventsrN draw_timesrrb_stateful_run_times max_depthrlunique_element_depthsimplest_indexrr4_ConjectureData__resultrmrrnlabels_for_structure_stack_ConjectureData__spansrr_ConjectureData__span_recordrorp_observability_argsr<_observability_predicatesinvalid_location_last_rejected_filter-_sampled_from_all_strategies_elements_message_shared_strategy_draws_shared_data_strategy_stateful_repr_partsstates_for_idsseeds_to_statesr@hypothesis_runnerrjrkr _inverting_nodes _nodes_tuplerqrrr TOP_LABEL)r`rrrrrrrs rRrzConjectureData.__init__sr F  #~H  KHd+!%H;&HK>J77  (L111  &%    " $ll ! + ? ?''1,'++-/146 <@,.5@5G "'*+!#$.8$-GHT )[ )X $--):;;;15 8: 14 :<' &*  '\$'54635 LW M &-1  "  :SU#8<"6:!=A>B&-8<.2 )+ 4626@D!  "rTcd|jjdt|jd|jrddSddS)NzConjectureData(r?z choicesz, frozenr@)rIrHrrrlr_s rRrazConjectureData.__repr__*sSdkk../r#djj/1BC$(KKj8 ; 578 ; rT.ct|jt|jk7rt|j|_|jSrt)rrrrr_s rRrzConjectureData.nodes0s; t  !S%5 5 %dkk 2D    rTc:td|jDS)Nc34K|]}|jywrtrwrxs rRr{z)ConjectureData.choices..8s8DTZZ8r|)rrr_s rRr}zConjectureData.choices6s8DKK888rT choice_typeintegerrTobserveforcedcyrtrjr`rrTrrs rR_drawzConjectureData._drawCrTrbcyrtrjrs rRrzConjectureData._drawMrTstringcyrtrjrs rRrzConjectureData._drawWrrTrccyrtrjrs rRrzConjectureData._drawarrTbooleancyrtrjrs rRrzConjectureData._drawksrTc |jr td|j|jk(r(t d|j|j t |j|jk(r(t d|j|j |rG|j;|jt |jkr|j|||}|'|}n$| t|jd|d i|}n|}|dk(r;t|tsJt!j"|rt%t'|}|r |du}t|j(d|||||jj*rdn t-|}|j|z|jkDr8t d |jd |d |j|j t/||||t |j }|j0j3|jj5||xj|z c_|S)Nzcannot draw during _invertz$overrun because hit self.max_length=z%overrun because hit self.max_choices=)rdraw_rb)rTrUrzoverrun because self.length=z + size=z > self.max_length=)rrrTrUr~rj)rrrhrr> mark_overrunrrrrr~ _pop_choicegetattrrrrbmathisnanr9r8ravoid_realizationr/r$rrr) r`rrTrrrrUsizerzs rRrzConjectureData._drawus ??;< < ;;$// ) @/AB C     t{{ t// / A0@0@/BC D     t{{.4::DKK@P3P$$[+f$ME! ^AGDMMU;-+@APKPEE, ' !eU+ ++zz% $\%%89 t+J 9GDMMU;-#8 9;:  771[=OD{{T!DOO33t{{nIw>R$//AST!!# '%$++& D    , , . KK  t $ KK4 K rTrT)weightsshrink_towardsrr min_value max_valuerrc:|X|J|Jt|dksJt|jdksJtd|jDsJ| |||ksJ| |||ksJ|j d||||d}|j d|||S)NrLc3&K|] }|dk7 yw)rNrj)ryws rRr{z.ConjectureData.draw_integer..s8!qAv8sr)rrrrrr)rsumr"all_pooled_constraintsr)r`rrrrrrrTs rRrXzConjectureData.draw_integers  ( ((( ((w<3& &&w~~'(1, ,,8w~~'788 88  )"7& &&  )"7Y& &&*.*B*B &&""0  + zz)['&zQQrT) allow_nansmallest_nonzero_magnituderrrrcx|dkDsJtj|rJtj|rJ|dk(r td|H|stj|rJtj|st||r t||sJ|j d||||d}|j d|||S)Nrga_Got allow_subnormal=True, but we can't represent subnormal floats right now, in violation of the IEEE-754 floating-point specification. This is usually because something was compiled with -ffast-math or a similar option, which sets global processor state. See https://simonbyrne.github.io/notes/fastmath/ for a more detailed writeup - and good luck!rb)rrrrr)rrFloatingPointErrorr:rr)r`rrrrrrrTs rRr[zConjectureData.draw_floats*A---::i(((::i((( % ,$+   DJJv$6 66::f%y&1nVY6W )-(@(@ &&&.H  ) zz';zOOrT)min_sizemax_sizerr intervalsrrc||t|cxkr|ksJJ|dk\sJt|dk(r|dk(sJ|jd|||d}|jd|||S)Nrr)rrrrrrr)r`rrrrrrTs rRr]zConjectureData.draw_strings~S[!DH!DDD!DDD1}} y>Q q= =)-)A)A &$$ * zz(KzPPrTrrc||t|cxkr|ksJJ|dk\sJ|jd||d}|jd|||S)Nrrc)rrrr)r`rrrrrTs rRr_zConjectureData.draw_bytes2sg~S[!DH!DDD!DDD1}}(,(@(@ (A) zz';zOOrTr:c|dus|dkDsJ|dus|dksJ|jdd|i}|jd|||S)NTrFrLrr:r)rr)r`r:rrrTs rRrazConjectureData.draw_booleanBsZd"q1u,,e#A--*.*B*B9sTUh*W zz)['&zQQrTcyrtrjr`rrTs rRrz"ConjectureData._pooled_constraintsO!rTcyrtrjrs rRrz"ConjectureData._pooled_constraintsTrTcyrtrjrs rRrz"ConjectureData._pooled_constraintsYs rTcyrtrjrs rRrz"ConjectureData._pooled_constraints^rrTcyrtrjrs rRrz"ConjectureData._pooled_constraintscrrTc|jjr|S|gt||} t|S#t$r|t|<|cYSwxYw)zd&?&?!//2F#[3E''1,'(.uk;OF*)zz% a ::>%%'M eY '!!)&*jj+{F%S" $*1k;G JJ!OJM  7  ) 7  v, . { *2B6;2W!!)&*jj+{F%S" $"+1k;G a  W&(%%'(&" $!!# $f" $!!# $s63 H$; I I#$III I #I?>I?c,|jsJ|jtjk(rtS|j t |j|j|j|j|j|j|j|j|j|jt!|j"|j$|j&|j(|j*|_|j J|j S)zdConvert the result of running this test into either an Overrun object or a ConjectureResult.)rIrNrrrhrirkrjrlrmrnrorprqrr)rlrIr[rerKrrerNrrrhrirkrjrlrmrrnrorprqrrr_s rRrtzConjectureData.as_results{{{ ;;&.. (N == ,{{#'#:#:jjjj{{jj#'#:#:#'#:#:!..$($<$<tyy).."00"00%)%>%>DM"==, ,,}}rTrHc:|jrtd|dy)Nz Cannot call z on frozen ConjectureData)rlr)r`rHs rR__assert_not_frozenz"ConjectureData.__assert_not_frozens# ;;<v-FGH H rTrc\|jd|jj|y)Nnote)"_ConjectureData__assert_not_frozenrir)r`rs rRrzConjectureData.notes"   ( % rTstrategyzSearchStrategy[Ex]ro observe_asrGcddlm}ddlm}ddlm}|j dk(}d}d} |rtj}t} |j|jr|jd||j tk\r|jd||} || j}t|t sJ|j"|j$t'|j"krt|j"|j$x} t(rzd|_ | j-| j.} t1|j"d|j$| zt1|j"|j$dzdz|_d |_|j4j6} |j9|  |s@ | j;|}|j4j=| |||j?S|J| J|xsd t'|jD} | j;|}t| z }tj|z |z |jD|< |r-|jHjJ}||||jL|<|j4j=| |||j?S#t2$rYLwxYw#d |_wxYw#t@$r}tC|d |d}~wwxYw#t| z }tj|z |z |jD|<wxYw#t2$r'}tC|d |jGdd|d}~wwxYw#|j?wxYw)Nr)observability_enabled)unwrap_strategies) to_jsonablezempty strategy zmax depth exceededTrLFrwzwhile drawing from zgenerate:unlabeled_zwhile generating z generate:z from )r)'!hypothesis.internal.observabilityr$hypothesis.strategies._internal.lazyr%hypothesis.strategies._internal.utilsrrrrr1validateis_empty mark_invalid MAX_DEPTHrorrprr~rr+r_invertrr Exceptionrrrdo_drawrrrr r removeprefixrrr)r`rrorrrr at_top_levelrr unwrappedholeinvertedrverrr in_gctimeavoids rRdrawzConjectureData.draw sT LJEzzQ    **,J.0M      |< = :: "   2 3&h/ =OOEeS) )) KK # S--4;;tzz#::4IF"DO ($,,TZZ8$++l 34DKK Q(89:; #(''22  e$$  !))$/A&&< NN /) )) , ,,L"5c$//6J5K LC X!))$/A!3 4} DI+/+<+<+>+Ki+WDOOC(%& 770;AQV0W((-    4 4Z C NN g  #(/ S$7|"DE  !3 4} DI+/+<+<+>+Ki+WDOOC( '(8(8(E'Hxl[   NN s!K $M5$L 54M)AM5 KKKK K%( L1LLM5 6L??M M2 "M--M22M55Nc.|jjS)zThe index that the next span to start will get. Spans are indexed in start order, so this also counts the spans started so far.)rrr_s rRnext_span_indexzConjectureData.next_span_indexps!!,,,rTc#bK|j}||jj|ywrt)rror)r`rs rRtrack_arg_spanzConjectureData.track_arg_spanvs+))  :&s-/c#lKi}|j5}|ddd||<y#1swYxYwwrt)r)r`ro arg_labelsrs rRtrack_arg_labelzConjectureData.track_arg_labels?!#  " j   ' 5   s4(414cH|jj||jd|xjdz c_|j|jkDr|j|_|j j ||jj|hy)NrrL) r span_startrrrrrrr)r`ros rRrzConjectureData.start_spansv   '   . a  :: &!ZZDN %%e, ''..w7rTFrrc |jj||jry|rd|_|xjdzc_|jdk\sJ|j j ||jj}|s]|jr|jdj|n2|jj|Dcgc] }t|c}|r|jjyycc}w)NTrLr r)rspan_endrlrlrrrrrupdaternrxrrS)r`rlabels_for_structurels rRrzConjectureData.stop_spans w' ;;   $D  a zzR $$W$5#>>BBD..//3::;OP   BV!WQ"5a"8!WX 2 MM % % '3 "XsD c|jsJ|jt|j|_|jS)N)r)rlrrrr_s rRrzConjectureData.spanss4{{{ <<  (:(:;DL||rTcn|jrytj|_t |_|j dk\r |j|j dk\r |jjd|_|jj|j|jy)NrT)rlrr finish_timer1gc_finish_timerrrrrrQrIrNr_s rRrzConjectureData.freezes ;; ,,.02jjAo NN jjAo !!#  ##DKK1H1HIrTr"cx|dn|j|}|jdt|dz ||}||S)NrrLr)r~rXr)r`r"rrforced_irs rRrzConjectureData.choicesM">4v||F/C    K!O   ayrTrIrNc||tjk(sJ|jd||_||_|j t |j)NrQ)r[rhrrNrIrrrrPs rRrQzConjectureData.conclude_testsT #*&:L:L0LMM   1"4  t''((rTcD|jtj|yrt)rQr[rh)r`rNs rRmark_interestingzConjectureData.mark_interestings 6--/ABrT)locationwhyr-cr|||jd<||_|jtjy)Nzgave up because)rrrQr[rf)r`r.r-s rRrzConjectureData.mark_invalids2 ?-0DKK) * ( 6>>*rTcB|jtjyrt)rQr[rer_s rRrzConjectureData.mark_overruns 6>>*rTcX|jy|j\}}|xs t|S)z2The location of the most recently rejected filter.N)rr=)r` conditionr-s rRlast_rejected_filter_locationz,ConjectureData.last_rejected_filter_location s2  % % -"88 87,Y77rT)NN)g?rrt)Mrbrcrd classmethodr3r r&r+r%rMr4rrrrprrirrrarrr$rr}rrr)rrr(rbr*r"rcr!r'r#rXrinfr7r[r2r;r]r_rarrrerHrtrrrrr rrrCrrrrrrrUrr[r6rrQr,rrr3rjrTrRrrs[ )-@R $  .94w>? %  $d+<&==       ,)-@RHL"&-1n# n#% n# $d+<&== n# )3g=>E n#4Zn##s(^d*n# n#` # !uZ_-!! 9w|,99Y'(   d  W%&     X&'   d  W%&     Y'(   t  P P(P  P $ P Ph!% $%R ,0!%R:%R:%R c5j!D( %R  %Rd %R%R %RR!HH988*P ,> $*P*P*P  *P %* *P *P*P *P`3!QQ Q  Q d QQ Q43P $ PPP  P  P P$ R# R  Rt R  R  R!"9-!hypothesis.utils.conventionsr?r@hypothesis.utils.deprecationrAhypothesis.utils.threadingrBhypothesis.vendor.prettyrChypothesis.strategiesrD$hypothesis.strategies._internal.corerE&hypothesis.strategies._internal.randomrF*hypothesis.strategies._internal.strategiesrGrirSrUrrprbrrrVrqrrrrr[rnrrrxryrrcNoneTypedate timedeltarzrr{r}rrrrrrrrrrrHrKrMrerr8rjrTrRrXs #WW%(%   //"R F< 9=<-B92/4?B=cc$ CL#sU{*+[2DgPTn TU iU  ' ./  c2 %W% d#$?A4%: :;@YsY'<YKSSW.(5c?4F#FGX   NN MM MM   -tSy) %%89mm`5"5"p66r (| (     l  \ @l@>RRj ** * Z d#88$8>i 8i 8XUU+=UJPU UrT