equal
deleted
inserted
replaced
25 s_searchlog = strategies.integers(min_value=zstd.SEARCHLOG_MIN, |
25 s_searchlog = strategies.integers(min_value=zstd.SEARCHLOG_MIN, |
26 max_value=zstd.SEARCHLOG_MAX) |
26 max_value=zstd.SEARCHLOG_MAX) |
27 s_searchlength = strategies.integers(min_value=zstd.SEARCHLENGTH_MIN, |
27 s_searchlength = strategies.integers(min_value=zstd.SEARCHLENGTH_MIN, |
28 max_value=zstd.SEARCHLENGTH_MAX) |
28 max_value=zstd.SEARCHLENGTH_MAX) |
29 s_targetlength = strategies.integers(min_value=zstd.TARGETLENGTH_MIN, |
29 s_targetlength = strategies.integers(min_value=zstd.TARGETLENGTH_MIN, |
30 max_value=2**32) |
30 max_value=zstd.TARGETLENGTH_MAX) |
31 s_strategy = strategies.sampled_from((zstd.STRATEGY_FAST, |
31 s_strategy = strategies.sampled_from((zstd.STRATEGY_FAST, |
32 zstd.STRATEGY_DFAST, |
32 zstd.STRATEGY_DFAST, |
33 zstd.STRATEGY_GREEDY, |
33 zstd.STRATEGY_GREEDY, |
34 zstd.STRATEGY_LAZY, |
34 zstd.STRATEGY_LAZY, |
35 zstd.STRATEGY_LAZY2, |
35 zstd.STRATEGY_LAZY2, |