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.

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

117 implement initial testing framework #124

Merged
merged 3 commits into from
Apr 12, 2024

Commits on Apr 12, 2024

  1. Initial Test Framework

    This is now working, with trace files split into `accepts` and `rejects`
    based on the file extension.  At this stage, it requires that you
    manually specify trace inputs.  That is quite tedious!
    DavePearce committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    e820876 View commit details
    Browse the repository at this point in the history
  2. Implement Trace Generation Framework

    This implements a relatively straightforward trace generation framework.
    Specifically, it generates all possible trace data upto a given length
    for a given set of constraints.  Then, using a model written in Rust, it
    divides that trace data into two piles: the `accepts` and the `rejects`.
    The former are those which should be accepted by the constraints, whilst
    the latter are those which should be rejected.
    DavePearce committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    b883df9 View commit details
    Browse the repository at this point in the history
  3. Add models for some tests

    This adds models for a handful of tests.  A lot more work needs to go
    into this still, but this is a start.
    DavePearce committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    5f25f95 View commit details
    Browse the repository at this point in the history