Your IP : 216.73.216.196
�
�GHWc @` s� d Z d d l m Z m Z m Z d d l Z d d l Z d d l Z d d l Z d d l m
Z
d d l m Z d d l
m Z m Z m Z m Z m Z m Z m Z m Z d d l m Z d d l m Z d d l m Z m Z m Z d d
l m Z m Z d d l! m" Z" m# Z# m$ Z$ d d l% m& Z& m' Z' d d
l( m) Z) m* Z* m+ Z+ m, Z, m- Z- m. Z. m/ Z/ m0 Z0 d d l1 m2 Z2 d � Z3 d � Z4 e d d d f � Z5 d � Z6 e7 e7 d � Z8 d � Z9 d e2 f d � � YZ: d � Z; e< e< e< d � Z= d S( sI This module provides the core primitives of Hypothesis, assume and given.i ( t divisiont print_functiont absolute_importN( t Random( t
namedtuple( t Flakyt Timeoutt
NoSuchExamplet
Unsatisfiablet InvalidArgumentt FailedHealthCheckt UnsatisfiedAssumptiont HypothesisDeprecationWarning( t BuildContext( t settings( t Phaset Verbosityt HealthCheck( t new_style_executort default_new_style_executor( t reportt verbose_reportt current_verbosity( t
getargspect str_to_bytes( t nicereprt
arg_stringt impersonatet copy_argspect function_digestt fully_qualified_namet convert_positional_argumentst get_pretty_function_description( t SearchStrategyc C` s" d d l } | j | j d � � S( Ni i� ( t randomR t getrandbits( R" ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt
new_random. s c ` s" t j � � � f d � � } | S( Nc ` s/ t � | | � } t d � j | f � � d S( Nsj Hypothesis %s(%s) produces unreliable results: Falsified on the first call but did not on a subsequent one( R R t __name__( t argst kwargst text_repr( t test( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt
test_or_flaky4 s ( t functoolst wraps( R) t
expected_reprR* ( ( R) s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt
test_is_flaky3 s t ExampleR& R' c ` sL � r � r t d � � n � p$ � s6 t d � � n � � f d � } | S( sJ Add an explicit example called with these args and kwargs to the
test.s8 Cannot mix positional and keyword arguments for exampless- An example must provide at least one argumentc ` s> t | d � s g | _ n | j j t t � � � � � | S( Nt hypothesis_explicit_examples( t hasattrR0 t appendR/ t tuple( R) ( R& R' ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt acceptN s ( R ( R& R' R4 ( ( R& R' s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt exampleB s c ` s/ d d l m � � � � � � f d � } | S( Ni ( t
random_modulec ` s� d d l m } t d � � �� | j � � � j } | d k rU | d | f � n | j � � \ � � � r� t � � � f d � � n. t � t j k r� t � � � f d � � n � � � � SWd QXd S( Ni ( t notet is_finals random.seed(%d)c ` s d � j t � � � � f S( Ns Falsifying example: %s(%s)( R% R ( ( R& R' R) ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt <lambda>h s c ` s d � j t � � � � f S( Ns Trying example: %s(%s)( R% R ( ( R& R' R) ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 l s ( t hypothesis.controlR7 R
t drawt seedR R R t verbose( t dataR7 R< ( R8 t
print_exampleR6 t search_strategyR) ( R& R' s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt run] s ( t hypothesis.strategiesR6 ( R@ R) R? R8 RA ( ( R8 R? R6 R@ R) s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt reify_and_executeV s c ` s � f d � } | S( s�
seed: Start the test execution from a specific seed. May be any hashable
object. No exact meaning for seed is provided other than that
for a fixed seed value Hypothesis will try the same actions (insofar
as it can given external sources of non-determinism. e.g. timing and
hash randomization).
Overrides the derandomize setting if it is present.
c ` s
� | _ | S( N( t _hypothesis_internal_use_seed( R) ( R< ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR4 | s ( ( R< R4 ( ( R< s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR< r s
t
WithRunnerc B` s e Z d � Z d � Z RS( c C` s( | d k s t � | | _ | | _ d S( N( t Nonet AssertionErrort baset runner( t selfRH RI ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt __init__� s c C` s | j | _ | j j | � S( N( RI t hypothesis_runnerRH t do_draw( RJ R> ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyRM � s ( R% t
__module__RK RM ( ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyRE � s c ` s � � f d � } | S( s� A decorator for turning a test function that accepts arguments into a
randomized test.
This is the main entry point to Hypothesis. See the full tutorial
for details of its behaviour.
c ` s� t � � � d � } � p � r/ | d � Sn � oD � j pD � j rT | d � Sn t � � t � j � k r� | d � j t � � t � j � f � Sn � o� � r� | d � Sn g � D] } | � j k r� | ^ q� } | o� � j r
| d � j | d f � Sn � j } x4 | D], } t | t � rF| d � j f � Sn qW� j r`| d � Sn x2 t | t � � � � D] \ } } | � | <q{Wt
j d
g | D] } | � k r�| ^ q�d � j d � j d
t � � t
� � t � j � � � � � � � f d � � � � xP t � � D]B } | d d k oGt � | � rft � | t � | � � n q$Wt � _ t � d t � � _ t � d t � p�t j � _ � S( Nc ` s � f d � } | S( Nc ` s t � � � d S( N( R ( t argumentsR' ( t message( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt wrapped_test� s ( ( RP RQ ( ( RP s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt invalid� s s/ given must be called with at least one argumentsI varargs or keywords are not supported with positional arguments to @givensF Too many positional arguments for %s() (got %d but expected at most %ds5 cannot mix positional and keyword arguments to @givens* %s() got an unexpected keyword argument %ri sD Cannot decorate function %s() because it has destructuring argumentss0 Cannot apply @given to a function with defaults.R& t keywordst varargst defaultsc ` s� � j � � j d k r* t � j � } n' � j rH t t �
� � } n t � } d d l j } d } t � � � � \ � � �
j
r� � j �
j
d � } n � r� � d } n t | � � x\t
t � d d( � � D]B} | j
r\t | j
� t � j
� k r0t d t � j
� t | j
� f � � n t t � j
t | j
� | j
� � � n | j � t j � j k r}q� n � j � � d �
j t �
� � � f } y2 t � �# } � d � � �
f d � � Wd QXWq� t k
rt | � x | j D] } t | � q�W� q� Xq� W� j d k r1d St � � � | j | j! � � | j" � � j# � f d � � � } � f d � � | � | d k r�t$ � | � � n � j% � � j& }
|
t' j( j& M}
d d l) m* } m+ } m, � t j- � j k pt j. � j k s
d S|
rt | j/ d � � � | d
� j0 d � f d � � }
t' � d
t1 j2 ��6 y � |
t3 � d � � � Wn t k
r�n XWd QXd } d } d } t4 j4 � } x�| d k rAt4 j4 � | d k rA| d k rA| d k rAyd | d
� j0 d � f d � � }
t' � d
t1 j2 �� � |
t3 � d � � � Wd QX| d 7} Wq�t5 k
rr| d 7} q�� k
r�|
j6 | j7 k r�| d 7} q>|
j6 | j8 k s�t9 � | d 7} q�t k
r�� q�t: k
r=t; j< � j= k r�� n t t> j? � � � t@ k r*� d t; j< � q>� d t; j< � q�Xq�W| d k sa| r~| d k r~� d | | f t; jA � n | d k s�| r�| d k r�� d | | f t; jB � n t4 j4 � | } | d k s�| d k r� d | | | | f t; jC � qn d g � d g } � � � � � �
� f d � } d d lD mE } d } tF tG �
� � } t4 j4 � } | | d � d | d | �} | jH � t4 j4 � | } � jI d k o�| � jI k } | jJ d k r�d S| jJ j6 | jK k r!| jJ jL } � jM d k r�� jM jN | | � q�ns | jO tP � jQ � j � k r�| rntR d d! tS �
� | jO | f � � q�tT d" tS �
� | jO f � � n d S� d d k s�t9 � y< � �0 � | jU | � t3 � �
d# tV d$ tV �� Wd QXWn3 t5 � f k
rt t> j? � � tW d% � � n Xt d& � d � d' } y< � | jU | � t3 � tX �
| d � d# tV d$ tV �� Wn# t5 � f k
r�tW | � � n Xd S() Ni R0 sG example has too many arguments for test. Expected at most %d but got %ds Falsifying example: %s(%s)c ` s
� � � � S( N( ( R> ( RO t example_kwargsR) ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 t c ` s
t | � � S( N( t dict( R& ( R' ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 RW c ` s> | � j k r d S| d 7} | d | f 7} t | � � d S( Nsd
See http://hypothesis.readthedocs.org/en/latest/healthchecks.html for more information about this. sj If you want to disable just this health check, add %s to the suppress_health_check settings for this test.( t suppress_health_checkR
( RP t label( R ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt fail_health_check$ s ( t TestDatat Statust StopTesti� t
max_lengtht
draw_bytesc ` s
| � | � S( N( ( R> t nt distribution( t health_check_random( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 J s t verbosityc _` s d S( N( RF ( R& R' ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 Q RW i
i i2 i c ` s
| � | � S( N( ( R> Ra Rb ( Rc ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 ` s c _` s d S( N( RF ( R& R' ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 f RW s� An exception occurred during data generation in initial health check. This indicates a bug in the strategy. This could either be a Hypothesis bug or an error in a function you've passed to it to construct your data.s` An exception occurred during data generation in initial health check. This indicates a bug in the strategy. This could either be a Hypothesis bug or an error in a function you've passed to it to construct your data. Additionally, you have a custom executor, which means that this could be your executor failing to handle a function which returns None. s+ Examples routinely exceeded the max allowable size. (%d examples overran while generating %d valid ones). Generating examples this large will usually lead to bad results. You should try setting average_size or max_size parameters on your collections and turning max_leaves down on recursive() calls.s[ It looks like your strategy is filtering out a lot of data. Health check found %d filtered examples but only %d good ones. This will make your tests much slower, and also will probably distort the data generation quite a lot. You should adapt your strategy to filter less. This can also be caused by a low max_leaves parameter in recursive() callsg �?s� Data generation is extremely slow: Only produced %d valid examples in %.2f seconds (%d invalid ones and %d exceeded maximum size). Try decreasing size of the data you're generating (with e.g.average_size or max_leaves parameters).c ` s� yU � | t � � � � } | d k rP � j rP � d � j | f t j � n t SWno t k
rr | j � nU t t
� f k
r� � n9 t k
r� t j
� � d <t � d � | j � n Xd S( NsF Tests run under @given should return None, but %s returned %r instead.i ( RC RF t perform_health_checkR% R t return_valuet FalseR t mark_invalidR R
t Exceptiont tracebackt
format_excR t mark_interesting( R> t result( R^ R[ t last_exceptionR@ R R) t test_runner( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt evaluate_test_data� s$
( t
TestRunnerR R" t database_keysV Ran out of time before finding a satisfying example for %s. Only found %d examples in s %.2fs.sa Unable to satisfy assumptions of hypothesis %s. Only %d examples considered satisfied assumptionsR? R8 s\ Unreliable assumption: An example which satisfied assumptions on the first run now fails it.s* Failed to reproduce exception. Expected:
s Unreliable test data: Failed to reproduce a failure and then when it came to recreating the example in order to print the test data with a flaky result the example was filtered out (by e.g. a call to filter in your strategy) when we didn't expect it to be.( (Y t! _hypothesis_internal_use_settingsRD RF R t derandomizeR R$ RB t
strategiesR R& t getR t reversedt getattrt lenR RX t zipR' R t explicitt phasest updateR% R R
t
BaseExceptionR t notest max_examplesR3 t tuplest justt fixed_dictionariest mapRE t validateRe t Settingst defaultt# hypothesis.internal.conjecture.dataR\ R] R^ t reuset generateR# t buffer_sizeR t quietRC t timeR t statust INVALIDt OVERRUNRG Ri R t exception_in_generationRY Rj Rk R t data_too_larget filter_too_mucht too_slowt% hypothesis.internal.conjecture.engineRq R R RA t timeoutt last_datat INTERESTINGt buffert databaset savet valid_examplest mint min_satisfying_examplesR R R t
for_buffert TrueR R. ( RO R' R" t sdt selfyR5 t message_on_failuret bRa t given_specifierRe R\ R] R> t countt overrunst filtered_drawst startt runtimet repr_for_last_exceptionRp Rq t falsifying_exampleRr t
start_timeRI t run_timet timed_outt filter_message( t argspect generator_kwargst original_argspecR) RQ (
R^ RO RV R[ Rc R' Rn R@ R Ro s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyRQ � sx
%
"
!
t _RD Rs ( R RT RS Ry R& R% t
isinstancet listRU Rz t inspectt ArgSpecRF R R t dirR1 t setattrRx R� t is_hypothesis_testRD R� R� Rs ( R) RR t kt extra_kwargsRO t at namet strategyt attr( t generator_argumentsR� ( R� R� R) RQ s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt run_test_with_generator� sl
(
! % -� P ( ( R� R� R� ( ( R� R� s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt given� s � �c ` s� � p t d d d d d d � � | d k rK � j d k rK t � � } n t | t � s| t d | t | � j f � � n | � | p� t � } d g � d g � � � � � � f d � } d d l
m } d d l m
} m } t j � } | | d
� d | d | �}
|
j � t j � | } |
j j | j k rlt � �! | j |
j j � j � � SWd QXn |
j � j k r�� j d k r�| � j k r�t d
t � � |
j | f � � q�t d t � � |
j f � � n t t � � � � d S( NR� i� R� i t max_shrinkss- Expected SearchStrategy but got %r of type %sc ` s t � �X y5 t | _ | j � � � | j � � � � � } Wn t k
r\ | j � n XWd QX| r| � d c d 7<n � j t j k r� � d s� t
� f d � � q� | r� � d d k r� t
� f d � � n t
� f d � � | � d <q� n | r| j r| j � n d S( Ni i c ` s d t � � f S( Nu Trying example %s( R ( ( Rm ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 \ s c ` s d t � � f S( Nu Found satisfying example %s( R ( ( Rm ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 a s c ` s d t � � f S( Nu Shrunk example to %s( R ( ( Rm ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyR9 e s (
R
R� t is_findR; R7 R Rh Rd R R= R t frozenRl ( R> t success( t conditionR� t searchR t successful_examples( Rm s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt template_conditionM s(
( Rq ( R\ R] R R" Rr sj Ran out of time before finding enough valid examples for %s. Only %d valid examples found in %.2f seconds.sV Unable to satisfy assumptions of %s. Only %d examples considered satisfied assumptions( R� RF R� R R� R! R t typeR% R$ R� Rq R� R\ R] R� RA R� R� R� R
R� R� R; R� R� R� R R R R ( t specifierR� R R" Rr R� Rq R\ R] R� RI R� ( ( R� R� R� R R� s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt find7 sJ
% (> t __doc__t
__future__R R R R� R� R+ Rj R" R t collectionsR t hypothesis.errorsR R R R R R
R R R: R
t hypothesis._settingsR R� R R R t hypothesis.executorsR R t hypothesis.reportingR R R t hypothesis.internal.compatR R t hypothesis.internal.reflectionR R R R R R R R t$ hypothesis.searchstrategy.strategiesR! R$ R. R/ R5 Rg RC R< RE R� RF R� ( ( ( s@ /opt/alt/python27/lib/python2.7/site-packages/hypothesis/core.pyt <module> s6 : : � �