Skip to content

Commit

Permalink
reformatting
Browse files Browse the repository at this point in the history
  • Loading branch information
DRMacIver committed Mar 21, 2015
1 parent 57a529e commit 477712c
Show file tree
Hide file tree
Showing 2 changed files with 1 addition and 2 deletions.
1 change: 0 additions & 1 deletion src/hypothesis/internal/verifier.py
Original file line number Diff line number Diff line change
Expand Up @@ -153,7 +153,6 @@ def time_to_call_it_a_day():
falsifying_examples.append(args)
run_time = time.time() - start_time
timed_out = self.timeout >= 0 and run_time >= self.timeout

if not falsifying_examples:
if len(track_seen) >= search_strategy.size_lower_bound:
raise Exhausted(
Expand Down
2 changes: 1 addition & 1 deletion src/hypothesis/searchstrategy/strings.py
Original file line number Diff line number Diff line change
Expand Up @@ -19,11 +19,11 @@
import unicodedata

import hypothesis.specifiers as specifiers
import hypothesis.internal.distributions as dist
from hypothesis.internal.compat import hrange, hunichr, text_type, \
binary_type
from hypothesis.searchstrategy.strategies import BadData, SearchStrategy, \
MappedSearchStrategy, strategy, check_type, check_data_type
import hypothesis.internal.distributions as dist


class OneCharStringStrategy(SearchStrategy):
Expand Down

0 comments on commit 477712c

Please sign in to comment.