Skip to content

Commit

Permalink
Update a test
Browse files Browse the repository at this point in the history
  • Loading branch information
TaiSakuma committed Nov 28, 2023
1 parent 8802d2f commit 2bbe4df
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions tests/gen/test_imp.py
Original file line number Diff line number Diff line change
Expand Up @@ -9,12 +9,12 @@


@given(st.data())
@settings(max_examples=200)
@settings(max_examples=200, deadline=1000)
def test_imp(data: st.DataObject):
'''Compare with reference implementations.'''
n_contexts = data.draw(st.integers(min_value=0, max_value=4), label='n_contexts')

n_sends = data.draw(st.integers(min_value=0, max_value=5), label='n_sends')
n_sends = data.draw(st.integers(min_value=0, max_value=3), label='n_sends')
draw = RecordReturns(data.draw)

# ic(n_contexts, n_sends)
Expand Down

0 comments on commit 2bbe4df

Please sign in to comment.