Skip to content

crux-mir-comp: perform tests in alphabetical order by test directory/filename #2479

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

Merged
merged 1 commit into from
Jul 9, 2025

Conversation

RyanGlScott
Copy link
Contributor

This should:

  • Make the test suite a hair more robust, by eliminating some needless nondeterminism, and
  • Offer a better experience when scrolling through e.g. CI output to find results for particular tests, since test results will appear in a standard, stable order.

Much in the same vein as GaloisInc/crucible#1459.

…filename

This should:
- Make the test suite a hair more robust, by eliminating some needless
  nondeterminism, and
- Offer a better experience when scrolling through e.g. CI output to find
  results for particular tests, since test results will appear in a standard,
  stable order.

Much in the same vein as GaloisInc/crucible#1459.
@RyanGlScott RyanGlScott self-assigned this Jul 9, 2025
@RyanGlScott RyanGlScott added tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp labels Jul 9, 2025
@RyanGlScott RyanGlScott merged commit 677070a into master Jul 9, 2025
37 checks passed
@RyanGlScott RyanGlScott deleted the rgs/sort-tests branch July 9, 2025 15:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: test infrastructure Issues involving test infrastructure or test execution, or making SAW more testable
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants