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

Cleanup flow to setup cargo kani #3060

Open
jaisnan opened this issue Mar 6, 2024 · 0 comments
Open

Cleanup flow to setup cargo kani #3060

jaisnan opened this issue Mar 6, 2024 · 0 comments
Assignees
@jaisnan
Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.

Comments

@jaisnan
Copy link
Contributor

jaisnan commented Mar 6, 2024 •
edited

1. Add CI test for --use-local-toolchain
2. Match that local toolchain is the same as the one Kani builds against.
3. Use clap derive to cleanup the app setup.
4. Remove dependency on rustup entirely by fetching the necessary tarball.
@jaisnan jaisnan added the [C] Internal Tracks some internal work. I.e.: Users should not be affected. label Mar 6, 2024
@jaisnan jaisnan self-assigned this Mar 6, 2024
@jaisnan jaisnan changed the title Match local toolchain against version of toolchain used to build Kani Cleanup flow to setup cargo kani Mar 13, 2024
@jaisnan jaisnan mentioned this issue Mar 13, 2024
Merged
jaisnan added a commit that referenced this issue Mar 27, 2024
@jaisnan
Add CI test for --use-local-toolchain (#3074)
1c3d0f3 
Adds a CI test for --use-local-toolchain.
This test will run after every push to main.

Additional cleanup to the setup as mentioned in #3060 in next PR's. (In
interest of keeping changes small & focused).

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jaisnan jaisnan

Labels
[C] Internal Tracks some internal work. I.e.: Users should not be affected.
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jaisnan