Skip to content

Instantly share code, notes, and snippets.

@timothyrenner
Created September 13, 2018 15:30
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save timothyrenner/9936ddb6baf7e253d7ec56d0406111dd to your computer and use it in GitHub Desktop.
Save timothyrenner/9936ddb6baf7e253d7ec56d0406111dd to your computer and use it in GitHub Desktop.
Average Agreement Test, Attempt 2
from hypothesis import given, settings # <- NEW CODE
from hypothesis.strategies import lists, integers
@given(
list1=lists(integers(min_value=1)),
list2=lists(integers(min_value=1)),
depth=integers(min_value=1)
)
@settings(deadline=300) # <- NEW CODE
def test_average_agreement_properties(list1, list2, depth):
answer = average_agreement(list1, list2, depth)
inverse_answer = average_agreement(list2, list1, depth)
assert answer >= 0.0
assert answer <= 1.0
assert answer == inverse_answer
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment