You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
According to the hypothesis docs, hypothesis works best when you can run tests with a large number of examples (thousands or tens of thousands). Of course this takes a long time so it isn't really viable for a local test run or for CI on pull requests.
* Add nightly hypothesis settings profile
* Set no deadline for async hypothesis tests
* Add nightly test run
The nightly run should not report coverage since it runs only a subset
of tests.
* Cache hypothesis example database
* Fix flaky test
Ensures we don't use the player_info message from earlier
According to the hypothesis docs, hypothesis works best when you can run tests with a large number of examples (thousands or tens of thousands). Of course this takes a long time so it isn't really viable for a local test run or for CI on pull requests.
We should set up a github action that runs on the develop branch once every 24 hours with a hypothesis profile that runs a large number of examples. Using profiles is described here: https://hypothesis.readthedocs.io/en/latest/settings.html#hypothesis.settings.load_profile. I would say we set
max_examples
to be at least 1000.The text was updated successfully, but these errors were encountered: