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

Test framework: Initial impl of exhaustive state verification with rollback #1713

Merged
merged 19 commits into from
Mar 6, 2023

Commits on Jan 27, 2023

  1. Adds rollback decorator

    dcorral committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    2b650e7 View commit details
    Browse the repository at this point in the history
  2. Sets decorator in main tests.

    Commiting for testing CI.
    dcorral committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    ba8b4b6 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    81f872b View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    7479f0c View commit details
    Browse the repository at this point in the history
  5. Fix typo.

    dcorral committed Jan 27, 2023
    Configuration menu
    Copy the full SHA
    6989ea9 View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2023

  1. Revert "Sets decorator in main tests."

    This reverts commit ba8b4b6.
    dcorral committed Jan 31, 2023
    Configuration menu
    Copy the full SHA
    11a06af View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    600f57f View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    6dd1d00 View commit details
    Browse the repository at this point in the history
  4. Update test_runner.py

    dcorral authored Jan 31, 2023
    Configuration menu
    Copy the full SHA
    2615ca8 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2023

  1. Configuration menu
    Copy the full SHA
    c6a6005 View commit details
    Browse the repository at this point in the history
  2. Fix lint

    dcorral committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    1ae079a View commit details
    Browse the repository at this point in the history
  3. Fix rollback_to call

    dcorral committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    0e91e90 View commit details
    Browse the repository at this point in the history
  4. Remove function rollback parameter

    Rename decorator and fix tests
    dcorral committed Mar 2, 2023
    Configuration menu
    Copy the full SHA
    9f36427 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. Rename decorator

    dcorral committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    e28bdc6 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    d851562 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    01ba9c4 View commit details
    Browse the repository at this point in the history
  4. Fix lint error

    dcorral committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    7408084 View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    85cb3ab View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2023

  1. Configuration menu
    Copy the full SHA
    89981d2 View commit details
    Browse the repository at this point in the history