File: //opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyc
�
�GHWc @` s� d Z d d l m Z m Z m Z d d l Z d d l 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 d d l m Z d d
l m Z m Z d d l m Z d e f d
� � YZ d d d � Z d S( s> Support for testing your custom implementations of specifiers.i ( t divisiont print_functiont absolute_importN( t Random( t TestCase( t settings( t seedt givent reject( t
Unsatisfiable( t ExampleDatabase( t listst integers( t hranget Rejectedc B` s e Z RS( ( t __name__t
__module__( ( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyR " s i
c ` sc t d d d � d � d d d � � | p1 t � } � � d t f � � � � f d � � Y} | S( Nt databaset max_examplest max_iterationsi t min_satisfying_examplest ValidationSuitec ` s� e Z � f d � Z e � � � d � � � Z � j rZ � f d � Z � f d � Z n � � f d � Z � � f d � Z � � f d � Z
e e � � � � � � f d � � � Z RS( c ` s d t � � f S( Ns strategy_test_suite(%s)( t repr( t self( t specifier( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt __repr__5 s c S` s d S( N( ( R t value( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt test_does_not_error: s c ` s � j � d S( N( t example( R ( t strat( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt test_can_give_example@ s c ` s t � � j � d S( N( R R ( R ( R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt test_can_give_list_of_examplesC s c ` s/ t � � � d � � � } | j t | � d S( Nc S` s t � d S( N( R ( t x( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt nopeG s ( R t assertRaisesR ( R R! ( R R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt, test_will_give_unsatisfiable_if_all_rejectedF s c ` s/ t � � � d � � � } | j t | � d S( Nc S` s
t � � d S( N( R ( R ( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyR! N s ( R R" R ( R R! ( R R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt! test_will_find_a_constant_failureM s c ` ss t � } t � � t � d d d | �d � � � } z+ x$ t d � D] } | j t | � qF WWd | j � Xd S( NR i
R c S` s
t � � d S( N( R ( R ( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyR! W s i ( R
R t SettingsR
R" R t close( R t dbR! t i( R R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt* test_will_find_a_failure_from_the_databaseT s $c ` s� t � } t � � t � d | d � d d �t | � d � � � � } zB y | � Wn t k
ri n Xy | � Wn t k
r� n XWd | j � Xd S( NR R R i c S` s� t j t | � j d � � j � } t | � j d d � t | � j d d � k sZ t � t | � j d d � r� t d | | f � � n d S( Ns utf-8i i s %r with digest %r( t hashlibt sha1R t encodet digestR t randintt AssertionErrorR ( R t s( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyR! f s
$6( R
R R% R R R& ( R R0 R' R! ( R R R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt' test_will_handle_a_really_weird_failurea s$
(
R R R R R t
supports_findR R R# R$ R) R R1 ( ( R R R R ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyR 3 s
( R% t NoneR R ( R R t randomR ( ( R R R R sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt strategy_test_suite& s
%N( t __doc__t
__future__R R R R* R4 R t unittestR t
hypothesisR R% R R R t hypothesis.errorsR t hypothesis.databaseR
t hypothesis.strategiesR R t hypothesis.internal.compatR
t ExceptionR R3 R5 ( ( ( sI /opt/alt/python27/lib/python2.7/site-packages/hypothesis/strategytests.pyt <module> s