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

Advanced testing infrastructure #1028

Draft
wants to merge 6 commits into
base: master
Choose a base branch
from
Draft

Advanced testing infrastructure #1028

wants to merge 6 commits into from

Commits on Jan 13, 2021

  1. First cut at a more programmable testing infrastructure.

    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    aeb797c View commit details
    Browse the repository at this point in the history

  2. Move the new Generate type class and the traceError primitive 

    into the prelude.  Make the `random` function require a `Generate`
constraint.

Fix up the test suite expected outputs.
    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    0ce9b44 View commit details
    Browse the repository at this point in the history

  3. Try a new approach to the Gen monad that makes it a primitive. 

    This would allow us to eventually slot in someting like Hedgehog
instead to drive the random testing infrastructure, and allow
us to use it's existing shrinking infrastructure, etc.
    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    8d1135d View commit details
    Browse the repository at this point in the history

  4. Actually, I think it makes more sense to just put SeqMap 

    directly into the `Cryptol.Backend` module.
    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    f36f965 View commit details
    Browse the repository at this point in the history

  5. Make ap a defined operation

    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    ad2ef52 View commit details
    Browse the repository at this point in the history

  6. Fix imports

    @robdockins
    robdockins committed Jan 13, 2021
    Configuration menu
    Copy the full SHA
    76774d2 View commit details
    Browse the repository at this point in the history