Using hypothesis like tooling for testing

[czgdp1807]

Description of the problem

I recently got to know about hypothesis. AFACIT, it's a tool which can help in generating test cases automatically. This helps in covering corner cases that we might forget. Because, it tries to find example that breaks the API. It feels like generative test cases that we have but better. I might be wrong though.

So, this issue aims at the following things,

• [ ] Understand hypothesis.
• [ ] Figuring out how hypothesis can be integrated in our tests.
• [ ] Finally, making a PR to integrate hypothesis with our tests.

Example of the problem

References/Other comments

[1] https://speakerdeck.com/asmeurer/testing-with-hypothesis

[Jasmineck]

Hello @czgdp1807 I am familiar with this topic and believe I can do the task efficiently. Can you please assign this project to me with tag GSSOC'23 .