Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

GH-86275: Implementation of hypothesis stubs for property-based tests, with zoneinfo tests #22863

Merged
merged 12 commits into from
May 12, 2023
Merged

GH-86275: Implementation of hypothesis stubs for property-based tests, with zoneinfo tests #22863

merged 12 commits into from
May 12, 2023

Commits on May 11, 2023

  1. Add stubs for hypothesis tests 

    These are stubs to be used for adding hypothesis
(https://hypothesis.readthedocs.io/en/latest/) tests to the standard
library.

When the tests are run in an environment where `hypothesis` and its
various dependencies are not installed, the stubs will turn any tests
with examples into simple parameterized tests and any tests without
examples are skipped.
    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    36049cf View commit details
    Browse the repository at this point in the history

  2. Add property tests for the zoneinfo module 

    This migrates the tests from
https://github.com/Zac-HD/stdlib-property-tests into the standard
library, using the hypothesis stubs.
    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    9bb7f5c View commit details
    Browse the repository at this point in the history

  3. Add examples to zoneinfo hypothesis tests

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    840aea1 View commit details
    Browse the repository at this point in the history

  4. Enable settings to operate as a decorator 

    Co-authored-by: Zac Hatfield-Dodds <zac.hatfield.dodds@gmail.com>
    @pganssle @Zac-HD
    pganssle and Zac-HD committed May 11, 2023
    Configuration menu
    Copy the full SHA
    87c6bdb View commit details
    Browse the repository at this point in the history

  5. Add Phase enum

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    c97ec97 View commit details
    Browse the repository at this point in the history

  6. Make reprs more accurate

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    cd3ddd7 View commit details
    Browse the repository at this point in the history

  7. Hard-code ignoring hypothesis files in libregrtest

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    57a357b View commit details
    Browse the repository at this point in the history

  8. Add news entry

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    176cc6b View commit details
    Browse the repository at this point in the history

  9. Add Azure Pipelines CI and PR jobs for hypothesis

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    fd4391c View commit details
    Browse the repository at this point in the history

  10. Add GHA job to run Hypothesis tests 

    This version of the GHA tries to build CPython once, package it in a
tarball, then re-use it for the normal tests and the hypothesis tests.
It doesn't seem to be working.

It excludes many of the slowest tests manually, plus one test that is
broken for unrelated reasons.
    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    46cbf7d View commit details
    Browse the repository at this point in the history

  11. Use independent build stages for hypothesis GHA job

    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    728f5e0 View commit details
    Browse the repository at this point in the history

  12. Revert "Add Azure Pipelines CI and PR jobs for hypothesis" 

    This reverts commit 5ba1a6a.
    @pganssle
    pganssle committed May 11, 2023
    Configuration menu
    Copy the full SHA
    a305d29 View commit details
    Browse the repository at this point in the history