Skip to content

Commit

Permalink
docs: mentioning hypothesis strategies
Browse files Browse the repository at this point in the history
  • Loading branch information
AlbertoCentonze committed Mar 9, 2024
1 parent d09f27d commit 4c6c55c
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions docs/source/testing.rst
Original file line number Diff line number Diff line change
Expand Up @@ -96,6 +96,11 @@ Finally, ``coverage.py`` saves coverage data to a file named ``.coverage`` in th

Coverage is experimental and there may be odd corner cases! If so, please report them on github or in the ``#titanoboa-interpreter`` channel of the `Vyper discord <https://discord.gg/6tw7PTM7C2>`_.

Fuzzing strategies
-----------------

Titanoboa offers custom `hypothesis <https://hypothesis.readthedocs.io/en/latest/quickstart.html>`_ strategies for testing. These can be used to generate EVM-compliant random inputs for tests.

Native Import Syntax
--------------------

Expand Down

0 comments on commit 4c6c55c

Please sign in to comment.