o
    *ήc                     @   s   d dl mZmZmZmZmZmZmZmZm	Z	m
Z
mZ dd Zdd Zdd Zdd	 Zd
d Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zdd Zd S )!    )exhaustdebug	multiplex	conditionnotemptychainonactionsfilteryieldifydo_oneidentityc                 c   s"    | dkr| d V  d S | V  d S )Nr       xr   r   N/tmp/pip-target-vg8gfxp4/lib/python/sympy/strategies/branch/tests/test_core.pyposdec   s   
r   c                 c   sx    d|   k rdk rn n| d V  d S d|   k rdk r'n n| d V  d S | dkr7| d V  | d V  d S | V  d S )Nr      r   
   r   r   r   r   r   branch5   s   

r   c                 C   s   | d dkS )N   r   r   r   r   r   r   <lambda>   s    r   c                 c   s    | d V  d S Nr   r   r   r   r   r   inc   s   r   c                 c   s    t | E d H  d S N)range)nr   r   r   one_to_n   s   r   c                  C   sP   t t} t| ddhksJ t| ddhksJ t| dddhks&J d S )N   r      r   r   )r   r   setbrlr   r   r   test_exhaust   s   r#   c                  C   sb   ddl m}  |  }tt|}t|d | }|  tj|v s#J d|v s)J d|v s/J d S )Nr   )StringIOr   54)ior$   r   r   listgetvalueclose__name__)r$   filerllogr   r   r   
test_debug$   s   
r/   c                  C   sT   t tt} t| ddhksJ t| dddhksJ t| dddhks(J d S )Nr   r   r         r      )r   r   r   r    r!   r   r   r   test_multiplex0   s   
r3   c                  C   s@   t tt} t| dttdksJ t| dt ksJ d S )Nr2   r   )r   evenr   r    r!   r   r   r   test_condition6   s   
r5   c                  C   s&   t tt} t| dh dksJ d S )Nr   >   r   r   r2   r0   r1   )r	   r4   r   r    r!   r   r   r   test_sfilter;   s   
r6   c                  C   s@   dd } t | }t|ddhksJ t|ddhksJ d S )Nc                 s   s    t | r
| V  d S d S r   )r4   r   r   r   r   ident_if_evenA   s   
z$test_notempty.<locals>.ident_if_evenr2   r   )r   r    )r7   r"   r   r   r   test_notempty?   s   r8   c                   C   s   t t ddgksJ t tttddgksJ t tttddgks(J ttttdddhks7J t tttddgksEJ d S )Nr   r2   r   r   )r(   r   r   r   r    r   r   r   r   
test_chainI   s
    r9   c                     sT   g   fdd} t tt| d  dgksJ t tt| d  dgks(J d S )Nc                    s     ||f d S r   )append)fninputoutputLr   r   recordR   s   ztest_onaction.<locals>.recordr   )r   r   )r(   r   r   r   )r@   r   r>   r   test_onactionP   s   rA   c                  C   s*   dd } t | }t|ddgksJ d S )Nc                 S   s   | d S r   r   r   r   r   r   r   \   s    ztest_yieldify.<locals>.<lambda>r   r2   )r
   r(   )r   yincr   r   r   test_yieldify[   s   rC   c                  C   s^   dd } t ttddgksJ t tt| ddgksJ t tttddgks-J d S )Nc                 s   s    t  r   )
ValueError)exprr   r   r   bada   s   ztest_do_one.<locals>.badr   r2   )r(   r   r   r   )rF   r   r   r   test_do_one`   s    rG   N)sympy.strategies.branch.corer   r   r   r   r   r   r   r	   r
   r   r   r   r   r4   r   r   r#   r/   r3   r5   r6   r8   r9   rA   rC   rG   r   r   r   r   <module>   s    4 
