Hacker News Reader

Does this do anything other than assert that functions return the right basic type given extremely basic inputs?

Is naive type testing a thing that people actually bother doing vs testing that the functions actually do what they're supposed to?

If a function takes two ints and returns an int that is the integer division of the two, is the evaluation of exceptions and returned types not already implicit in the evaluation of the actual results?

If you know that divide(a, b) should return c for sufficient candidates a, b, and c, then you _know_ that divide returns the right type without explicitly checking. And knowing that the divide function happens to return ints when given ints doesn't actually tell you that it's doing anything even close to the right behavior. So this both doesn't reduce the number of tests you need to write and is also obsoleted by actually writing the tests that you need.

View on HN

from my_library import add from hypothesis_auto import auto_pytest @auto_pytest() def test_add(test_case): add_result = test_case() if test_case.params.kwargs['number_1'] > 0 and test_case.params.kwargs['number_1']: assert add_result > test_case.params.kwargs['number_1'] assert add_result > test_case.params.kwargs['number_1']