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

Run crux-mir-comp's test suite in CI #1887

Open
RyanGlScott opened this issue Jul 6, 2023 · 0 comments
Open

Run crux-mir-comp's test suite in CI #1887

RyanGlScott opened this issue Jul 6, 2023 · 0 comments
Labels
subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes type: enhancement Issues describing an improvement to an existing feature or capability
Milestone
2025T1

Comments

@RyanGlScott
Copy link
Contributor

We currently build the code for crux-mir-comp's test suite in CI, but we do not actually run the test suite. We should do this, especially since there are upcoming changes to the Rust nightly that we support in the works (see GaloisInc/mir-json#49 and GaloisInc/crucible#1096).

Running the test suite will require (1) that mir-json is installed, and (2) that we have installed the crucible-mir support libraries. Both of these would be easier if we land #1868 first.
@RyanGlScott RyanGlScott added tooling: CI Issues involving CI/CD scripts or processes subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp labels Jul 6, 2023
@RyanGlScott RyanGlScott mentioned this issue Jun 26, 2023
Closed
29 tasks
@sauclovian-g sauclovian-g mentioned this issue Jun 27, 2024
Closed
@sauclovian-g sauclovian-g added the type: enhancement Issues describing an improvement to an existing feature or capability label Nov 7, 2024
@sauclovian-g sauclovian-g added this to the 2025T1 milestone Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
subsystem: crucible-mir Issues related to Rust verification with crucible-mir and/or mir-json subsystem: crucible-mir-comp Issues related to compositional Rust verification with crucible-mir-comp or crux-mir-comp tooling: CI Issues involving CI/CD scripts or processes type: enhancement Issues describing an improvement to an existing feature or capability
Projects
None yet
Milestone
2025T1
Development

No branches or pull requests
2 participants
@RyanGlScott @sauclovian-g