iKj6TddlmZddlmZddlmZmZmZerddlm Z neZ Gdde Z Gdde Z Gd d e Z Gd d e ZGd de ZGdde ZGdde ZGdde ZGddeZdeeefdeeefdefdZGddeZGdde ZGdd eeZGd!d"eZGd#d$e eZGd%d&eZGd'd(e ZGd)d*e eZ Gd+d,e e!Z"Gd-d.e Z#Gd/d0e"Z$Gd1d2e"e%Z&Gd3d4e"Z'Gd5d6e Z(d7edefd8Z)Gd9d:e Z*Gd;de Z-Gd?d@e Z.GdAdBe Z/GdCdDe"Z0GdEdFe"Z1edGZ2e2jfZ4GdHdIe Z5yJ)K)Mapping) timedelta) TYPE_CHECKINGAnyLiteral)ChoiceConstraintsTceZdZdZy)HypothesisExceptionz9Generic parent class for exceptions thrown by Hypothesis.N__name__ __module__ __qualname____doc__V/home/oem/CyberBrain26-unified/.venv/lib/python3.12/site-packages/hypothesis/errors.pyr r sCrr ceZdZdZy) _TrimmablezGHypothesis can trim these tracebacks even if they're raised internally.Nr rrrrrsQrrc:eZdZdZ ddddedzdedzddfdZy) UnsatisfiedAssumptionzcAn internal error raised by assume. If you're seeing this error something has gone wrong. N)locationreasonrreturnc ||_||_yN)rr)selfrrs r__init__zUnsatisfiedAssumption.__init__#s   rr)r r rrstrrrrrrrs9 $(!CG!Dj!69Dj! !rrc2eZdZdZddededdffd ZxZS) NoSuchExamplezThe condition we have been asked to satisfy appears to be always false. This does not guarantee that no example exists, only that we were unable to find one. condition_stringextrarNc.t|d||y)NzNo examples found of condition )superr)rr!r" __class__s rrzNoSuchExample.__init__2s :;K:LUGTUr))r r rrrr __classcell__r%s@rr r +s, VVSV$VVrr ceZdZdZy) UnsatisfiableaWe ran out of test cases before we could find enough which satisfy the assumptions of this hypothesis. This could be because the function is using |assume| in a way that is too hard to satisfy. If so, try writing a custom strategy or using a better starting point (e.g if you are requiring a list has unique values you could instead filter out all duplicate values from the list) Nr rrrr*r*6rr*ceZdZdZy)ChoiceTooLargez.An internal error raised by choice_from_index.Nr rrrr-r-As8rr-ceZdZdZy) CannotInvertz Internal error raised by SearchStrategy._invert, either because the value is not produced by that strategy, or because we haven't implemented an inversion for it. Nr rrrr/r/Esrr/ceZdZdZy)Flakyz Base class for indeterministic failures. Usually one of the more specific subclasses (|FlakyFailure| or |FlakyStrategyDefinition|) is raised. .. seealso:: See also the :doc:`flaky failures tutorial `. Nr rrrr1r1Mr+rr1c$eZdZdZdfd ZxZS) FlakyReplayzInternal error raised by the conjecture engine if flaky failures are detected during replay. Carries information allowing the runner to reconstruct the flakiness as a FlakyFailure exception group for final presentation. c@t||||_||_yr)r$rr_interesting_origins)rrinteresting_originsr%s rrzFlakyReplay.__init__`s   $7!rr)r r rrrr'r(s@rr3r3Xs88rr3showotherrc|jjk(sJdjfd|jDS)Nz, c3XK|]!\}}|d||k(rdn t|#yw)=z...N)repr).0kvr8s r z&_render_constraints..hs69=A1#QU1X u4734s'*)keysjoinitems)r7r8s `r_render_constraintsrDfsA 99;%**, && & 99AE rc TeZdZdZdZededdfdZedededed eddf d Z y ) FlakyStrategyDefinitiona This function appears to cause inconsistent data generation. Common causes for this problem are: 1. The strategy depends on external state. e.g. it uses an external random number generator. Try to make a version that passes all the relevant state in from Hypothesis. .. seealso:: See also the :doc:`flaky failures tutorial `. zInconsistent data generation! Data generation behaved differently between test cases. Is your data generation depending on external state?detailrc0||jd|S)Nz ) _BASE_MESSAGE)clsrGs r with_detailz#FlakyStrategyDefinition.with_detailsc''(VH566r expected_typeexpected_constraints actual_typeactual_constraintsc ||k7r d|d|d}n d|dt||dt||d}|j|S)NzNThe second test case drew a different type of value than the first. first: z second:  zThe second test case drew type z6 with different constraints than the first. first: )rDrK)rJrLrMrNrOrGs r from_mismatchz%FlakyStrategyDefinition.from_mismatchs} - '*O,(M- 2+?01EGYZ[\01CEYZ[[]_  v&&rN) r r rrrI classmethodrrKrrRrrrrFrFmsx   77)B77''1' ' / ' # ''rrFceZdZdZy)_WrappedBaseExceptionzJUsed internally for wrapping BaseExceptions as components of FlakyFailure.Nr rrrrUrUsTrrUceZdZdZdZdZy) FlakyFailurean This function appears to fail non-deterministically: We have seen it fail when passed this value at least once, but a subsequent invocation did not fail, or caused a distinct error. Common causes for this problem are: 1. The function depends on external state. e.g. it uses an external random number generator. Try to make a version that passes all the relevant state in from Hypothesis. 2. The function is suffering from too much recursion and its failure depends sensitively on where it's been called from. 3. The function is timing sensitive and can fail or pass depending on how long it takes. Try breaking it up into smaller functions which don't do that and testing those instead. .. seealso:: See also the :doc:`flaky failures tutorial `. ct|}t|D]3\}}t|trt }|x|_|_|||<5tj|||Sr) list enumerate isinstance ExceptionrU __cause__ __context__ExceptionGroup__new__)rJmsggroupiexcerrs rr`zFlakyFailure.__new__se U & FAsc9-+-255 a   %%c366rc:t||j|Sr)typemessage)rexcss rderivezFlakyFailure.derivestDz$,,--rN)r r rrr`rjrrrrWrWs( 7 .rrWceZdZdZy)FlakyBackendFailureak A failure was reported by an |alternative backend|, but this failure did not reproduce when replayed under the Hypothesis backend. When an alternative backend reports a failure, Hypothesis first replays it under the standard Hypothesis backend to check for flakiness. If the failure does not reproduce, Hypothesis raises this exception. Nr rrrrlrlr+rrlceZdZdZy)InvalidArgumentz_Used to indicate that the arguments to a Hypothesis function were in some manner incorrect.Nr rrrrnrnsrrnceZdZdZy)ResolutionFailedaHypothesis had to resolve a type to a strategy, but this failed. Type inference is best-effort, so this only happens when an annotation exists but could not be resolved for a required argument to the target of ``builds()``, or where the user passed ``...``. Nr rrrrprprrpceZdZdZy) InvalidStatez?The system is not in a state where you were allowed to do that.Nr rrrrsrssIrrsceZdZdZy)InvalidDefinitionzgUsed to indicate that a class definition was not well put together and has something wrong with it.Nr rrrrurus$rruceZdZdZy)HypothesisWarningz'A generic warning issued by Hypothesis.Nr rrrrwrws1rrwceZdZdZy)FailedHealthCheckz;Raised when a test fails a health check. See |HealthCheck|.Nr rrrryrysErryceZdZdZy)NonInteractiveExampleWarningz Emitted when |.example| is used outside of interactive use. |.example| is intended for exploratory and interactive work, not to be run as part of a test suite. Nr rrrr{r{rqrr{ceZdZdZy)HypothesisDeprecationWarningazA deprecation warning issued by Hypothesis. Actually inherits from FutureWarning, because DeprecationWarning is hidden by the default warnings filter. You can configure the :mod:`python:warnings` module to handle these warnings differently to others, either turning them into errors or suppressing them entirely. Obviously we would prefer the former! Nr rrrr}r}srr}ceZdZdZy)HypothesisSideeffectWarningzA warning issued by Hypothesis when it sees actions that are discouraged at import or initialization time because they are slow or have user-visible side effects. Nr rrrrr srrceZdZdZy)FrozenzlRaised when a mutation method has been called on a ConjectureData object after freeze() has been called.Nr rrrrrs'rrnamecX|dk(rddlm}|ddddtStd |) NMultipleFailuresr)note_deprecationzQMultipleFailures is deprecated; use the builtin `BaseExceptionGroup` type insteadz 2022-08-02F)since has_codemod stacklevelz,Module 'hypothesis.errors' has no attribute )hypothesis.utils.deprecationrBaseExceptionGroupAttributeError)rrs r __getattr__rs= !!A _  "! GvN OOrcVeZdZdZdededdffd ZdeedeeefffdZxZ S)DeadlineExceededzf Raised when an input takes too long to run, relative to the |settings.deadline| setting. runtimedeadlinerNct|d|jdzdd|jdzdd||_||_y)Nz Test took iz.2fz"ms, which exceeds the deadline of zms. If you expect test cases to take this long, you can use @settings(deadline=...) to either set a higher deadline, or to disable it with deadline=None.)r$r total_secondsrr)rrrr%s rrzDeadlineExceeded.__init__*s` ..047<='557$>sCDT T    rcHt||j|jffSr)rgrr)rs r __reduce__zDeadlineExceeded.__reduce__4s T T\\4==9::r) r r rrrrtuplergrr'r(s@rrr$sI ! !Y!4!; t&'y)/C)DD E;rrc,eZdZdZdeddffd ZxZS)StopTestzRaised when a test should stop running and return control to the Hypothesis engine, which should then continue normally. testcounterrNcDt|t|||_yr)r$rr<r)rrr%s rrzStopTest.__init__?s k*+&r)r r rrintrr'r(s@rrr:s 'C'D''rrc eZdZy)DidNotReproduceN)r r rrrrrrDsrrceZdZdZy)Foundz=Signal that the example matches condition. Internal use only.Nr rrrrrHsGrrc eZdZdZdeddfdZy)RewindRecursivez[Signal that the type inference should be rewound due to recursive types. Internal use only.targetrNc||_yr)r)rrs rrzRewindRecursive.__init__Os  r)r r rrobjectrrrrrrLsev$rrceZdZdZy)SmallSearchSpaceWarningzIndicates that an inferred strategy does not span the search space in a meaningful way, for example by only creating default instances.Nr rrrrrSsLrrceZdZdZy)"NonRoundTrippableCharactersWarninga8Issued when the ``codec`` argument to :func:`~hypothesis.strategies.characters` allows generating characters which encode successfully, but do not decode back to the same character. Pass each such character in either ``include_characters`` or ``exclude_characters`` to silence this warning. Nr rrrrrXsrr)verified exhausteddiscard_test_caser8c"eZdZdZddeddfdZy)BackendCannotProceeda Raised by alternative backends when a |PrimitiveProvider| cannot proceed. This is expected to occur inside one of the ``.draw_*()`` methods, or for symbolic execution perhaps in |PrimitiveProvider.realize|. The optional ``scope`` argument can enable smarter integration: verified: Do not request further |test cases| from this backend. We *may* generate more test cases with other backends; if one fails then Hypothesis will report unsound verification in the backend too. exhausted: Do not request further test cases from this backend; finish testing with test cases generated with the default backend. Common if e.g. native code blocks symbolic reasoning very early. discard_test_case: This particular test case could not be converted to concrete values; skip any further processing and continue with another test case from this backend. scoperNcL|tvrtd|dt||_y)Nz Got scope=z, but expected one of )_valid_cannot_proceed_scopesrnr)rrs rrzBackendCannotProceed.__init__~s6 4 4!UG#9/24  r)r8)r r rrCannotProceedScopeTrrrrrrfs.14rrN)6collections.abcrdatetimertypingrrr%hypothesis.internal.conjecture.choicerr\r rrr r*r-r/r1r3rrrDrFrUr_rWrl TypeErrorrnrprsruWarningrwryr{ FutureWarningr}rrrr BaseExceptionrrrrrrr__args__rrrrrrs$..H D)DR$R !/ !V'VJ9(9&J 8% 8gc6k273;;OTW-'e-'`UIU&.>5&.R,j) J&J$ I$ 2+W2F F#4 #4m "3' ' Pc Pc P;z;,'}' ) H HiL/L ):ST2;;.r