Skip to content

Commit

Permalink
add more explicit coverage test
Browse files Browse the repository at this point in the history
  • Loading branch information
tybug committed Feb 1, 2025
1 parent e55b6dd commit 7dea49d
Showing 1 changed file with 1 addition and 0 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -34,6 +34,7 @@
@example(b"\x00" * 100, [("string", string_kw(IntervalSet.from_string("a")))])
@example(b"\x00" * 100, [("float", float_kw())])
@example(b"\x00" * 100, [("bytes", {"min_size": 0, "max_size": 10})])
@example(b"\x00", [("integer", integer_kw())])
@given(st.binary(min_size=200), st.lists(ir_types_and_kwargs()))
def test_provider_contract_bytestring(bytestring, ir_type_and_kwargs):
data = ConjectureData(
Expand Down

0 comments on commit 7dea49d

Please sign in to comment.