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

Can cargo kani support --features option? #1979

Closed
rod-chapman opened this issue Dec 9, 2022 · 2 comments · Fixed by #2085
Closed

Can cargo kani support --features option? #1979

rod-chapman opened this issue Dec 9, 2022 · 2 comments · Fixed by #2085
Assignees
@tedinski
Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one. T-User Tag user issues / requests
Milestone
Maintenance

Comments

@rod-chapman
Copy link

I'd like to analyse a crate with a particular set of its non-default features enabled.

Can "cargo kani" support the "--features" option in the same style as "cargo build" please?
@rod-chapman rod-chapman added the [C] Feature / Enhancement A new feature request or enhancement to an existing feature. label Dec 9, 2022
@zhassan-aws zhassan-aws added the T-User Tag user issues / requests label Dec 9, 2022
@celinval celinval added the [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one. label Dec 9, 2022
@celinval
Copy link
Contributor

celinval commented Dec 9, 2022

Yes, we can. Thanks for the request!

@tedinski
Copy link
Contributor

Looks like we also need --no-default-features

@tedinski tedinski mentioned this issue Jan 6, 2023
Merged
4 tasks
@tedinski tedinski self-assigned this Jan 6, 2023
@tedinski tedinski added this to the Maintenance milestone Jan 6, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tedinski tedinski

Labels
[C] Feature / Enhancement A new feature request or enhancement to an existing feature. [E] User Experience An UX enhancement for an existing feature. Including deprecation of an existing one. T-User Tag user issues / requests
Projects
No open projects
Kani 2023-01-23
Status: Done
Milestone
Maintenance
Development

Successfully merging a pull request may close this issue.

Add --manifest-path and --features tedinski/rmc
4 participants
@tedinski @rod-chapman @celinval @zhassan-aws