Skip to content

Consider the connection to verus-analyzer again #17

@jaybosamiya-ms

Description

@jaybosamiya-ms

Not only has verus-analyzer gotten a lot more stable, I suspect that that in the ~2 years since the last attempt, the rustic side likely has gotten a bit less brittle too.

Brian Milnes on the Verus Zulip (link) posted a config that connects Rustic to verus-analyzer, which might be a good starting point when re-considering the connection. We'd still wish to keep it under the experimental flag for some time, but then at some point switch it to always-enabled once it is seen to be stable.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementNew feature or request

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions