Skip to content

Attrs rewrite#50

Open
carolynzech wants to merge 6 commits into
mainfrom
attrs-rewrite
Open

Attrs rewrite#50
carolynzech wants to merge 6 commits into
mainfrom
attrs-rewrite

Conversation

@carolynzech

Copy link
Copy Markdown
Owner

Please ensure your PR description includes the following:

  1. A description of how your changes improve Kani.
  2. Some context on the problem you are solving.
  3. A list of issues that are resolved by this PR.
  4. If you had to perform any manual test, please describe them.

Make sure you remove this list from the final PR description.

Resolves #ISSUE-NUMBER

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@carolynzech carolynzech force-pushed the attrs-rewrite branch 2 times, most recently from 0259485 to f331616 Compare July 26, 2025 22:11
Carolyn Zech added 2 commits July 26, 2025 18:38
…ct_attribute` to call `resolve_fn_path`

and thereby be able to resolve qualified paths, which they can't do in the current impl because `resolve_from_mod` only handled simple paths
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant